Mathieu Montin
Leader Of The High Assurance Software Group at Tweag
Sennecey-le-Grand, Bourgogne-Franche-Comté, France
Summary
👤
Senior🎓
Top SchoolMathieu Montin is a leader in high-assurance software with a PhD in computer science and eight years of experience applying formal methods to real-world systems. As head of Tweag’s High Assurance Software Group he leads formal verification projects, Cardano smart contract audits, and the development of internal verification tooling, combining research-grade rigor with practical delivery. A former postdoc and longtime Agda practitioner, he brings deep expertise in mechanized semantics and dependent type-driven proofs implemented in Haskell/Agda. Based in France, he pairs academic discipline with client-focused engineering, often translating complex formal guarantees into deployable, auditable smart-contract code. An understated strength is his ability to bridge theorem-proving research and production verification pipelines, accelerating trust in safety- and finance-critical software.
8 years of coding experience
Docteur en informatique, Docteur en informatique at ENSEEIHTBaccalauréat, Scientifique, Mentien Bien, Baccalauréat, Scientifique, Mentien Bien at Lycée MathiasFin de classe préparatoire, Mathematics, Fin de classe préparatoire, Mathematics at Lycée Carnot
French, English
Github Skills (20)
programming-language9
agda9
blockchain9
plutus9
smart-contracts9
system-f8
cardano8
proof8
formal-verification7
symbolic-execution6
haskell6
static-analysis3
datatypes3
package-repository2
nix2
Programming languages (5)
Github contributions (5)
mmontin/adventofcode
Dec 2020 - Dec 2025
Contributions:225 pushes, 1 branch in 5 years
mmontin/personal-resources
Jul 2022 - Jul 2025
Contributions:9 pushes, 1 branch in 3 years
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.