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.
15 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 (42)
opam10
decompiler10
lustre10
model-checking10
package-repository10
reasonml10
ocaml10
tezos10
checker10
blockchain10
smart-contracts10
smt10
emacs-package9
multicore9
lwt8
Programming languages (8)
Github contributions (5)
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
decompilerocamlreasonmltezosliquidity
lefessan/liquidity
Oct 2017 - Oct 2018
Contributions:40 commits, 6 pushes in 11 months
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.