APLAS 2023 (series) / Daniele Nantes-Sobrinho
![Daniele Nantes-Sobrinho](https://conf.researchr.org/getProfileImage/danielenantessobrinho/ef6c7b2d-de40-437a-9ab3-be4b392d5e65/small.jpg?1711519386000)
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
APLAS 2023-profile
View general profile
View general profile