MODELS 2025 (series) / Martin Ceresa
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
Using general profile