معرفی
Martín Ceresa is a Post-doctoral Researcher at the IMDEA Software Institute in Madrid, Spain. His work focuses on theoretical computer science, programming languages, type theory, and blockchain technologies. He collaborates extensively with Prof. César Sánchez on formal methods for scaling blockchains and verifying smart contracts.
Education: PhD in Computer Science from the National University of Rosario (Argentina), under Dr. Mauro Jaskelioff. His thesis developed an effectful improvement theory for languages with algebraic effects.
Research Interests: Blockchain scalability, formal verification of smart contracts, runtime verification, embedded systems design, and foundational mathematics. His current projects include Setchain (a Byzantine-tolerant distributed data structure) and a non-Turing-complete language for critical embedded systems.
Key Contributions: Co-developed the MegaDeTH tool for test case generation (now QuickFuzz), created the Coq-based Multi library for multi-contract analysis, and pioneered formal methods for layer-2 blockchain solutions.
Collaborations: Active in the formal methods community, with contributions to EasyCrypt and collaborations with researchers like Gustavo Grieco and Antonio Fernández Anta.
