The Scala Workshop 2025
Mon 13 - Tue 14 October 2025 Singapore
co-located with ICFP/SPLASH 2025
ICFP/SPLASH 2025 (series) / The Scala Workshop 2025 (series) / Daniele Nantes-Sobrinho
Daniele Nantes-Sobrinho

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

Show activities from other conferences

ICFP/SPLASH 2025-profile
View general profile