Albin Coquereau
Staff Engineer at Nomadic Labs
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolAlbin Coquereau is a Staff Engineer based in Paris with nine years of experience specializing in formal methods and SMT solving, notably as a developer of the Alt-Ergo solver at OCamlPro. He transitioned from research during a PhD in computer science to industry roles, bringing deep expertise in theorem proving, OCaml, and R&D-driven engineering. At Nomadic Labs he progressed from Senior Software Engineer to Staff Engineer, applying formal techniques to real-world, safety-critical blockchain and distributed-system problems. His background spans academic internships at Inria and LRI and a strong international component with graduate work in Montréal, reflecting both theoretical depth and practical collaboration. Known for bridging research and production, he combines rigorous algorithmic thinking with a track record of shipping robust tooling for verification. Colleagues appreciate his ability to translate complex formal concepts into maintainable code and team practices.
9 years of coding experience
4 years of employment as a software developer
Licence Informatique, Licence Informatique at Nantes UniversitéMaster Informatique, Master Informatique at Paris-Sud University (Paris XI)Maitrise Informatique, Maitrise Informatique at UQAM | Université du Québec à MontréalDoctorat Informatique, Doctorat Informatique at Université Paris-Saclay
French, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (19)
opam10
alt-ergo10
package-repository10
ocaml10
parser9
tezos9
smt-lib9
parse7
blockchain7
compiler7
theorem-proving5
functor5
kubernetes5
type-check4
fractal-rendering4
Programming languages (5)
Github contributions (5)
ACoquereau/opam-repository
Apr 2018 - Mar 2021
Main public package repository for OPAM, the source package manager of OCaml.
Contributions:34 pushes, 3 branches in 2 years 11 months
ocamlopampackage-managerpackage-repository
ACoquereau/psmt2-frontend
Apr 2018 - Mar 2021
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language
Contributions:9 releases, 3 reviews, 62 commits in 2 years 11 months
parsersmt-libtypechecker
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.