Is notably one of the principal authors of the MirageOS operating system library and the leading developer of Irmin, a Git-like distributed store. Played a pivotal role in the design and backend implementation of Docker Desktop, a flagship Docker product used monthly by over 15 million developers. Creator of Opam, the package manager for OCaml.
Research Experience
Has held various leadership and engineering roles at Docker, Citrix, OnApp, and OCamlPro. Co-founded Tarides (and formerly its CTO), and co-founded Unikernel Systems, which was acquired by Docker in 2015.
Education
Has a research career that includes time spent at the University of Cambridge, Inria, ENS Lyon, and ENS Rennes.
Background
Holds the dual roles of Chief Executive Officer at Tarides and Chief Technology Officer at Parsimoni, focusing primarily on advancing the development of critical systems across industries. Through leveraging the OCaml ecosystem and MirageOS, the mission is to revolutionize the creation of secure, performant, and resource-efficient services.
Miscellany
Most of his software development is conducted in OCaml, with his projects prominently featured on GitHub.