Registered user since Mon 2 Dec 2024
Name:Martin Ceresa
Country:Spain
Affiliation:IMDEA Software Institute
Personal website: https://martinceresa.github.io/
GitHub: https://github.com/martinceresa
Research interests:Formal Methods, Program Verification, Compilers, Programming Languages.
Contributions
2025
Symposium on Practical Aspects of Declarative Languages
POPL 2025-profile
View general profile
View general profile