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