A highly qualified team to work with you

Fabrice founded OCamlPro in 2011 after using OCaml for about 15 years at Inria. His free-software contributions range from improvements in OCaml itself to development tools (OCamlMemprof, ... ocp-build), distributed software (MLdonkey), blockchains (Tezos, Dune Network, TzScan) and smart contract languages (Liquidity). Former teacher at Ecole Polytechnique, he is a member of the Steering Committee of the Open-Source Hub at Systematic. Show

As OCamlPro's CEO, Muriel is devoted to fostering a passionate and powerful team of OCaml, Rust and Formal Methods experts, at the service of a community of clients. Before that, she used to ... run the Free & Open Source WG of the French Innovation & Deep Tech Systematic cluster, where she created the Information Systems Working Group in 2018. She took pride in designing and launching the Open Source Innovation Spring events that were a rally for many important academic and industrial tech partners, as well as the short series "Les Livrets bleus du Logiciel Libre". She also was for 10+ years chief editor of IT book collections in the famous Paris publishing house Editions Eyrolles. Muriel has been supporting the Free and open source software + Web standards movements since the early 2000s. Show

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. Show

Julien holds a PhD from Université Paris 6 in formal methods and compilation. He has a long experience in applied formal methods in security systems and Common Criteria certification with a major ... role in PolyXene (A French certified OS) development. He is fond of language theory, philosophy and mathematics and is also involved in entrepreneurship and management and uses all those skills in OCamlPro. Show

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. Show

Damien holds a PhD in computer science from Université Paris 7. He is one of the main authors of the OCaml system and an expert in memory management and garbage collection. He joined OCamlPro in October 2015.

Nathanaëlle holds a PhD in computer science, during which she studied efficient and verified reduction and convertibility tests for theorem provers, and a MSc at ENS Paris. She joined ... OCamlPro in 2022 and works on the OCaml optimizer, in the Flambda team. Show

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. Show

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 is now the lead maintainer for opam, an open-source package manager for OCaml. Show

Basile holds a PhD in Computer Science from ENS Ulm, during which he worked on translation-validation for numerical scientific code with Albert Cohen and Xavier Leroy ... , and a MSc in Mathematics from ENS Paris-Saclay. He enjoys applying his expertise in Program Analysis, Optimization, and wide knowledge of languages to create tailor-made solutions. He joined OCamlPro in 2023, where he works on the Alt-Ergo SMT solver. Show

Guillaume holds a PhD in computer science from Université de Paris, France, in which he has studied the integration of rewriting techniques inside SMT solvers under the direction of Gilles Dowek and David Delahaye in Deducteam at ENS Cachan... He is now working on the Alt-Ergo SMT prover developed by OCamlPro, as well as the Flambda2 project, which adds optimizations passes for the OCaml compiler. Show

David has done his PhD at Université Paris-Sud, during which he extended the Cubicle model checker to support weak memory models as well as wrote a compiler from a subset of the x86 assembly ... language to Cubicle, he then specialised in compilation tasks at OCamlPro. His contributions cover many a projects among which: development of blockchain-borne languages such as Liquidity, Love as well as work on Solidity. He also used his expertise for R&D on COBOL infrastructures and the French income tax calculation language MLang. Show

Keryan joined the team in 2020 as a R&D engineer. He holds a PhD from University Pierre et Marie Curie, during which he developed an automated implementation method for hard real-time ... applications. Previously, he studied functional programming and language design at University Paris-Diderot. Show

Nicolas Berthier obtained his PhD in Computer Science at the University Grenoble-Alpes, where he studied energy-aware programming for embedded systems in the Verimag laboratory. Before joining OCamlPro in ... 2021, he worked as postdoctoral fellow in multiple academic institutions such as Inria Rennes Bretagne-Atlantique and the University of Liverpool. His areas of expertise cover synchronous programming languages, discrete controller synthesis and model-checking via abstract interpretation as well as their applications to the design of energy-efficient hardware circuits, and the safety & security analysis of programs & artificial neural networks alike. Show

Nathan holds a Master's Degree in Computer Science form Université Paris Diderot. He has a long experience with OCaml, both working in the industry and the OCaml open source community. He specializes in developer's tooling and is a contributor to core tools of the ocaml ecosystem such as... Dune, Opam or ppxlib. Nathan joined OCamlPro in September 2025 to strengthen our developer tooling team. Show

Jean-Marie comes from an economic and financial background and has always evolved in the ecosystem of research valorization. Within OCamlPro, he works on setting up/monitoring research projects and in particular the SuperBOL offer.

With a double Master's in Digital Communication and E-influence, Khouloud brings expertise in crafting compelling narratives and implementing impactful digital strategies to elevate OCamlPro's communication efforts.

Pierre holds a PhD in Mathematics from University of Grenoble. After his PhD, he worked as a postdoctoral fellow at Weizmann Institute during three years. His research focused on transcendental ... measures in Arithmetical Geometry. Finally, he joined OcamlPro in June 2022 to work on the Alt-Ergo project. Show

Arthur is a Rust developer interested in performance optimization, software design, and crafting powerful and user-friendly tools. After completing his M.Sc. in Computer Science at ENS Ulm, he ... obtained a Ph.D. in Mathematics and Computer Science from Université de Paris for research he carried out at Institut Pasteur and Inria. There, he worked on Rust codebases for efficient automatic differentiation in differential equations resolution and workflow management on clusters. Before working in the interdisciplinary setting of a biology research institute, Arthur had developed his drive to solve complex problems across fields and topics and his desire to transmit his passion and knowledge by completing the Interdisciplinary Approaches in Research and Education Master from Université de Paris. Show

Léo joined OCamlPro in 2020. He holds a PhD from Paris-Saclay University. He works on Wasocaml, a compiler from OCaml to WebAssembly using Flambda. He is also the main developer of Owi, ... a cross-language, multi-core, multi-solver symbolic execution engine that can be used for bug-finding, solved-aided programming or test generation. Show

Hichem holds a Master’s degree from Sorbonne University, focused on functional programming and formal methods. He's currently a CIFRE PhD student at OCamlPro and the CEA-List (Paris Saclay ... University) on SMT Solving and Constraint Programming with François Bobot (CEA-List) and Guillaume Bury (OCamlPro) as Phd advisors. He joined OCamlPro in March 2021 for an internship to develop a fuzzer for the Alt-Ergo SMT solver. After his internship, he joined the formal methods team as a R&D Engineer. Show

Boris is part of the GnuCOBOL team since January 2024. He holds a PhD from Université Sorbonne Paris Nord and a Master's degree from the Parisian Master of Research in Computer Science (MPRI). ... During his PhD thesis, he worked on the foundations of mathematical logic and its interactions with computer science. He enjoys learning, understanding, organising and creating in general. Show

Artemiy has a Master's degree from Paris 6 Sorbonne University. During his scolarship he did several internships working with OCaml preprocessors and ... related tools. Having strong interest in blockchain technology, he's working on developing the Everscale ecosystem. Show

Dario is passionate about languages as a whole. In 2018, after his English Degree, he went on to validate a double major at the French programming school 42Paris by 2023. Previously intern at ... CEA-List, in the lab maintaining the static analysis tool Frama-C, where he conducted analyses of open-source software and provided QA for the team, in 2021 he then joined the OCamlPro team as a Junior Software Developer for a two year long apprenticeship which concluded with the signature of a long-term contract and plenty of happy team members. Show

Emilien first joined OCamlPro as intern to work on the SuperBOL parser and analyzer. He since officially joined the company to work on both the COBOL and Rust teams. ... He holds a master's degree from Paris-Cité University, specialized on programming languages and their implementation. Show

Amaëlle has a Master's degree in Architecture and Design of Integrated Systems at Paris VI. She used to be engineer and manager for several years. ... After a pause for managing and homeschooling three children, she joined OCamlPro to support our training programs. Show

With over 20 years of experience in administrative support and team coordination, she is passionate about creating smooth, well-organized, and people-centered work environments. ... Her experience with international customers has shaped strong interpersonal and adaptability skills, further enhanced by her experience in theater, which sharpened her verbal communication abilities. She joined OCamlPro in 2025 as Administrative Officer. Show

Oscar joined OCamlPro in 2025 as a project manager. With a background in full-stack development and entrepreneurship, he brings a product-driven mindset to research and engineering teams. ... He designs and leads tech projects from early-stage prototyping to user delivery, often bridging the gap between innovation and practical deployment. A graduate of École 42 and HEC Paris, he combines strong technical skills with strategic insight. Prior to OCamlPro, he co-founded startups and led agile teams in both public and private sectors. He is fluent in English and passionate about building tools that matter. Show

Alex is an OCaml developer interested in language design and compilers, systems, and user-friendly tooling. He has applied that knowledge to several domains such as ... financial calculations at DGFiP, as well as digital and analog games, and has tried to better development experience world-wide. He holds a research-oriented Master on Type Systems and Languages from Sorbonne Université. Show

Guillaume holds a PhD in Computer Science at the University of Strasbourg, where he worked on the development of an interactive compiler with trustworthy source-to-source transformations, ... in collaboration with Arthur Charguéraud. He also holds a MSc at ENS Paris. He enjoys working on programming language design and development, program verification and program optimization. He joined OCamlPro in 2025. Show