David Chemouil
Senior Research Scientist Directeur De Recherches at ENSEEIHT
Toulouse, Occitania, France
Summary
👤
Senior🎓
Top SchoolDavid Chemouil is a senior research scientist and educator with 18+ years at the intersection of formal methods, programming languages and critical aerospace software, currently leading research on Alloy and formal protocol analysis at ONERA. He combines deep theoretical foundations—PhD and Habilitation in computer science—with hands-on experience as a flight software architect for CNES, applying model-checking, TLA+, Event-B, Coq and OCaml to real-world embedded and distributed systems. A long-time teacher across Toulouse institutions, he brings practical pedagogy in advanced functional programming, formal specification and requirements engineering. An advocate of free/open-source software, he is known for bridging lightweight formal methods and safety-critical engineering, and for mentoring numerous Master’s and PhD students. An interesting facet: he pairs category-theoretic and type-system insights with pragmatic tooling to make rigorous methods usable in aerospace practice.
11 years of coding experience
4 years of employment as a software developer
Computer Software Engineering, Valedictorian, Computer Software Engineering, Valedictorian at IUT d'OrsayHabilitation, Computer Science, Habilitation, Computer Science at Université Paul Sabatier Toulouse IIIMaster of Science - MS, Theory of Programming & Systems, Master of Science - MS, Theory of Programming & Systems at ENSEEIHT
English, French, Spanish
Github Skills (116)
security10
opam10
package-repository10
ocaml10
package-manager10
fibers9
jbuilder9
multicore9
dune9
idris9
specification9
alloy9
lwt9
tikz8
apl8
Programming languages (9)
Github contributions (5)
grayswandyr/electrumAnalyzer
Jan 2015 - Oct 2015
Contributions:8 commits, 29 pushes, 2 branches in 9 months
AlloyTools/alloytools.github.io
Oct 2019 - Jan 2023
Website for Alloytools
Contributions:3 reviews, 18 commits, 10 PRs in 3 years 4 months
alloytools
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.