Alain Mebsout
Co-Founder at Functori
Greater La Rochelle Area France
Summary
👤
Senior🎓
Top SchoolAlain Mebsout is a Co-Founder and seasoned R&D engineer with 14 years of experience blending academic rigor and product-focused development in formal methods, model checking, and SMT. With a PhD from Université Paris-Sud and postdoctoral work at The University of Iowa and Inria, he has transitioned research-grade verification techniques into commercial R&D roles at OCamlPro and Origin Labs before co-founding Functori. Based in the Greater La Rochelle area, he pairs deep theoretical expertise with hands-on engineering across OCaml and related tooling, often operating at the intersection of programming languages and automated reasoning. His career shows a consistent pattern of turning complex formal research into practical software—an uncommon mix that helps startups and teams build more reliable, verifiable systems.
14 years of coding experience
8 years of employment as a software developer
Classe préparatoires, Classe préparatoires at Lycée Descartes, Tours, FranceDoctor of Philosophy (PhD), Doctor of Philosophy (PhD) at Université Paris Sud (Paris XI)Master of Science (MSc), Master of Science (MSc) at ISIMAMaster of Science (MSc), Master of Science (MSc) at University of Oklahoma
Github Skills (68)
decompiler10
smart-contracts10
opam10
package-repository10
dune10
elisp10
smt10
reasonml10
ocaml10
checker10
package-manager10
lustre10
model-checking10
tezos10
blockchain10
Programming languages (8)
Github contributions (5)
mebsout/liquidity
Sep 2017 - Dec 2020
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
Contributions:417 pushes, 67 branches in 3 years 2 months
kebab-casessreflecthigh-levelocamldune
OCamlPro/liquidity
Sep 2017 - Dec 2020
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
Contributions:8 releases, 763 commits, 166 PRs in 3 years 2 months
high-levelocamldunelanguage-leveltezos
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.