Daniele Nantes-Sobrinho - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Registered user since Mon 24 Apr 2023

Name:Daniele Nantes-Sobrinho

Country:United Kingdom

Affiliation:Imperial College London

X (Twitter): https://x.com/daniele_nantes

GitHub: https://github.com/dnantes

Research interests:Formal Methods; Separation Logic; Verification; Logical Methods for Computer Science

Contributions

2024

POPL

Co-chair in Diversity, Equity, and Inclusion Committee within the Diversity, Equity and Inclusion-track
Diversity, Equity, and Inclusion Co-Chair in Organizing Committee

Formal Methods for Incorrectness

Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning

Show activities from other conferences

POPL 2024-profile
View general profile