OCamlPro is the leading company in OCaml development

Products

OCaml Memory Profiler

Profile your OCaml application

OCPWin Distribution

OCaml Binary Distribution for Windows

Alt-Ergo

SMT-Solver for Software Verification

Open-Source Software

OPAM

Highly-Scalable Package Manager

Typerex Toolbox

Open-Source Tools and Libraries for OCaml

Scilint

Scilab Style Checking Tools

Optal

Language for Linear Optimization

Web Applications

OCaml Training Platform

Online Exercices to Teach OCaml

Sciweb

Online Scilab Toplevel for Beginners

Try OCaml

Online OCaml Toplevel for Beginners

Customer Services

Application Development

High-quality Software Development

TypeRex-Pro Support

Technical Support for OCaml Developers

Developer Training

Training and Courses for Software Developers

Research & Development

Collaborative Research and Development Projects

About Us

OCaml Experts in the Industry
OCaml Experts to implement your Dreams

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 and Scilab.

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 in Paris and OCamlLabs in Cambridge.

Our Team

Uploaded image

Fabrice Le Fessant

Founder and Scientific Advisor
Fabrice is an INRIA researcher, and the founder of OCamlPro. He has built a strategic partnership between OCamlPro and his INRIA team, that allows OCamlPro to interact closely with the core OCaml developers at INRIA. He has a long experience of both contributing to OCaml (he wrote the first JoCaml implementation, an extension of OCaml for transparent distributed communications and code mobility) and building applications in OCaml (he was the creator and maintainer of MLdonkey, MNPlight and contributed to OCamlviz).
Uploaded image

Pierre Chambart

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. Finally, he joined OCamlPro in November 2012.
Uploaded image

Mohamed Iguernlala

Senior R&D Engineer
Mohamed Iguernlala is a senior R&D engineer at OCamlPro and a research associate in the VALS team of LRI. His research activities focus on automated reasoning, decision procedures and their combination in the SMT framework. He received a PhD in Computer Science from Paris-Sud University. During his thesis, he worked on the enhancement of the Alt-Ergo SMT solver: an automatic theorem prover for first-order formulas. Before that, he was involved in the development of OCamlwizard. He joined OCamlPro in September 2013.
Uploaded image

Benjamin Canou

Senior R&D Engineer
Benjamin has a PhD from University Pierre et Marie Curie / LIP6, working in the Ocsigen project. Previously, he obtained a MSc at ENS Bretagne / IRISA working on certified static analysis. He mostly likes to tame wild computer systems and put them into a type-safe cage, leading him to a varied background in hardware and software platforms, program analysis and transformation, and interoperability layers.
Uploaded image

Grégoire Henry

Senior R&D Engineer
Grégoire holds a PhD from Paris Diderot University. He previously worked as engineer for the Ocsigen project and as a postdoc at Inria where he designed an experimental extension to OCaml, adding runtime-type to the language. He joined OCamlPro in November 2013.
Uploaded image

Çağdaş Bozman

Senior R&D Engineer
Çagdas has a PhD from Ecole Polytechnique, obtained by working between OCamlPro and ENSTA, focusing on building tools to profile OCaml memory usage and to detect memory leaks. Previously, he has been working at Dassault Systèmes on the extension of a real-time modeling language for discrete-event systems.
Uploaded image

Thomas Blanc

Junior R&D Engineer
Thomas is working 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

Pierrick Couderc

Junior R&D Engineer
Pierrick is working as a PhD student between OCamlPRO and 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

Michael Laporte

Junior R&D Engineer
Michael holds a MSc from Paris Diderot University focused on Programming Languages. Previously, he has been working as an intern for the Ocsigen project and as an engineer for the Richelieu project working on static analysis. He joined OCamlPro in December 2014.
Uploaded image

Vincent Laviron

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