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.
13 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 (30)
quickcheck10
fuzzer10
ssreflect9
tlaplus9
proofs9
fhe9
ieee9
haskell9
encryption8
formal-verification8
cardano8
template-haskell8
coq8
verification8
security8
Programming languages (9)
Github contributions (5)
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
fuzzerhaskellquickcheck
CIFASIS/megadeth
Mar 2016 - Sep 2016
Contributions:43 commits, 1 PR, 38 pushes in 6 months
derivationhaskelltemplate-haskell
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.