Martin Ceresa
Formal Methods Engineer at Input Output (IOHK)
Madrid, Community of Madrid, Spain
Summary
👤
Senior🎓
Top SchoolMartin Ceresa is a Formal Methods Engineer with 13 years of experience combining rigorous academic research and practical engineering to verify and model complex systems, currently working at Input Output (IOHK). His background spans a PhD and postdoctoral work focused on runtime verification, smart-contract interaction, and programming-language approaches to multi-agent reasoning, with hands-on experience in C, Python, Rust, Go, OCaml and a particular comfort in Haskell. He has taught courses in parallel/concurrent programming and compiler construction, honing clear communication and a collaborative, mentorship-oriented style. Martin excels at tackling unfamiliar problems with flexible, research-driven techniques and translating formal methods into usable tooling for real-world distributed and blockchain systems. Based in Madrid, he brings both deep theoretical knowledge and practical synthesis skills developed during internships and long-term research roles.
12 years of coding experience
2 years of employment as a software developer
Engineer’s Degree, Computer Science, Engineer’s Degree, Computer Science at Universidad Nacional de Rosariocoursera
English, Spanish
Github Skills (28)
ssreflect10
quickcheck10
ieee10
grammar10
tlaplus9
proofs9
fhe9
verification9
fuzzer9
haskell9
encryption8
formal-verification8
template-haskell8
coq8
security8
Programming languages (6)
Github contributions (5)
CIFASIS/megadeth
Mar 2016 - Sep 2016
Contributions:43 commits, 1 PR, 38 pushes in 6 months
derivationhaskelltemplate-haskell
CIFASIS/QuickFuzz
Oct 2015 - Feb 2019
An experimental grammar fuzzer in Haskell using QuickCheck
Contributions:166 commits, 5 PRs, 106 pushes in 3 years 4 months
haskellgrammarquickcheckfuzzergrammar-fuzzer
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.