State-of-the-art Languages for Modern Applications



Highly-Scalable Package Manager

Profileur mémoire

Profile your OCaml application


Le solveur SMT pour la vérification formelle


A smart-contract language for Dune Network and Tezos


The Dune Network Block Explorer


The Tezos Block Explorer

Try OCaml

Online OCaml Toplevel for Beginners



High-quality Software Development


Formations pour équipes de développeurs


Projets de R&D collaborative



Language for Linear Optimization

Dune Network

A platform for enterprise oriented blockchain Dapps


A Blockchain with Integrated Governance


Blockchain Applications over Bitcoin, Ethereum, Dune Network and Tezos



Online Scilab Toplevel for Beginners


Scilab Style Checking Tools

La boîte à outils Typerex

Utilitaires et bibliothèques pour OCaml

A propos d'OCamlPro

Des experts pour réaliser toutes vos innovations en OCaml
Une expertise industrielle en OCaml

OCamlPro was created in April 2011 by former members of the French INRIA Institute. OCamlPro initial goal was to boost the development of OCaml and to promote it as the language of choice for software development in the Industry. OCamlPro is an official member of the Caml Consortium, and includes members of the OCaml core development team. OCamlPro also develops tools in OCaml to improve the code quality of programs written in other languages such as C.

OCamlPro's high-level experts develop software solutions in any domain requiring their knowledge in complex algorithms and formal methods.

OCamlPro does a lot of research and development (R&D), and maintains strong ties and collaborations with public research labs, such as IRILL & LRI in Paris-Saclay (Inria, CNRS, Sorbonne Université) and OCamlLabs in Cambridge. See more on our blog!

Notre équipe

Uploaded image

Muriel Shan Sei Fan

Muriel’s been a fan of OCamlPro’s eversince, and decided to dedicate her time to OCamlPro’s team and development, at the side of Fabrice Le Fessant, OCamlPro’s Founder and Scientific shepherd.
Uploaded image

Pierre Chambart

CTO – Senior R&D Engineer
Pierre has a Ph.D. in Computer Science, obtained in the Specification and Verification Laboratory at ENS Cachan. After his PhD, he spent 12 months as an Engineer working on the Ocsigen Web Framework at IRILL, Paris. Finally, he joined OCamlPro in August 2012.
Uploaded image

Louis Gesbert

Senior R&D Engineer
Louis holds a PhD from University Paris Est, and has studied at EnsIIE, University of Manchester and University of Tokyo. He has a strong background on programming languages and distribution, and was one of the architects behind the Opa language developed at MLstate. He joined OCamlPro in November 2012, and is the lead developer of OPAM. He worked on the learn-ocaml platform and contributes from time to time to the flambda team at OCamlPro.
Uploaded image

Vincent Laviron

Senior R&D Engineer
Vincent holds a MSc from ENS Ulm, focused on static analysis by abstract interpretation. He then spent several years working on static analysis of functional languages, before joining OCamlPro in June 2015 to work on SecurOCaml.
Uploaded image

Pierrick Couderc

R&D Engineer
Pierrick holds a PhD degree from ENSTA, focusing on typing the OCaml intermediate language, in order to propagate the typing information into the whole compilation toolchain. Previously, he worked on the design of a namespace mechanism for the OCaml language.
Uploaded image

Thomas Blanc

R&D Engineer
Thomas used to work as a PhD student between OCamlPRO and ENSTA, with a focus on whole-program static analysis. One of his first objectives is to try to use the whole-program analysis approach to detect uncaught exceptions in OCaml programs. Previously, he obtained a MSc in computer science at the ENS Cachan.
Uploaded image

Raja Boujbel

Senior R&D Engineer
Raja holds a PhD in software deployment and multi-agent systems from University of Toulouse. Previously, she had studied functional programming and compiler design at Université Pierre et Marie Curie, then worked on the Opa language among MLstate’s distribution team. She joined OCamlPro in March 2018 as a lead maintainer for opam, an open-source package manager for OCaml.
Uploaded image

Steven De Oliveira

R&D Engineer
Steven holds a PhD in formal verification from the Paris-Saclay University and the French Atomic Energy Commission (CEA) since 2018. After a Master in Cryptography he worked in the Frama-C team, developing open-source tools for verifying C programs. He also was involved in science popularization projects like MT180 and InfoSansOrdi.
Uploaded image

David Declerck

R&D Engineer
David is a new R&D engineer at OCamlPro. He obtained a PhD from Université Paris-Sud in 2018, during which he extended the Cubicle model checker to support weak memory models and wrote a compiler from a subset of the x86 assembly language to Cubicle.
Uploaded image

Guillaume Bury

R&D Engineer
Guillaume holds a research Master in computer science from Ecole Normale Supérieure in Paris, France, and has studied the integration of rewriting techniques inside SMT solvers during his PhD obtained under the direction of Gilles Dowek and David Delahaye in Deducteam at ENS Cachan. He joined OCamlPro in October 2018 and works in the Flambda team, on optimizations passes for the OCaml compiler.
Uploaded image

Albin Coquereau

Junior R&D Engineer
Albin is working as a PhD student between OCamlPro, LRI and ENSTA, focusing on improving the performance of the SMT solver Alt-Ergo. He also helped adding a support for the SMT-LIB standard in Alt-Ergo allowing it to participate to the SMTCOMP 2018.
Uploaded image

Adrien Champion

R&D Engineer
Adrien is interested in formal methods for the verification of safety properties over software and embedded systems. He worked on higher-order functional program verification at the University of Tokyo, in the Kobayashi laboratory, and worked on a predicate-inference tool for horn clauses called hoice (, written in rust. Before that, he was working at the University of Iowa on the Kind 2 model checker ( with Christoph Sticksel and Alain Mebsout.
Uploaded image

Laurène Gibaud

Assistant Director
Laurène joined the team in 2019 to help out with non-tech goals. She holds a technical degree in Web & Network Science and a Master in Publishing Policies. She worked as a publisher and project manager for 5 years on IT & programming publications and has reviewed more than a thousand courses.
Uploaded image

Aurore Drombry

Internal Communication Manager
Aurore joined the team in 2019 to contribuate with non-tech goals and to optimize internal communication in the organization. She holds a degree in Human Sciences and a Master in Communication techniques & Digital Marketing. Before, she worked for two years as a project manager and communication manager on digital projects.

En continuant d'utiliser ce site, vous acceptez l'utilisation de ses cookies. more information

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this.