conf.researchr.org / Daniele Nantes-Sobrinho
Daniele Nantes-Sobrinho

Registered user since Mon 24 Apr 2023

Name:Daniele Nantes-Sobrinho
Country:United Kingdom
Affiliation:Imperial College London
Twitter:https://twitter.com/daniele_nantes
GitHub:https://github.com/dnantes
Research interests:Formal Methods; Separation Logic; Verification; Logical Methods for Computer Science

Contributions

POPL 2024 Diversity, Equity, and Inclusion Co-Chair in Organizing Committee
BEAT 2019 Author of Relating Process Languages for Security and Communication Correctness within the BEAT 2019-track