Profileur mémoire
Profilez vos applications OCaml avec le OCaml Memory Profiler
Alt-Ergo
Le solveur SMT pour la vérification formelle
Distribution OCPWin
Distribution binaire d’OCaml pour Windows
Liquidity
Le langage de smart-contracts pour Tezos
TzScan
The Tezos Block Explorer
OPAM
Le gestionnaire de paquets officiel, créé par OCamlPro [merci à JaneStreet Capital pour le financement]
La boîte à outils Typerex
Utilitaires et bibliothèques pour OCaml
Scilint
Utilitaire de vérification de style pour Scilab
Plate-forme de formation
Exercices en ligne pour enseigner OCaml (MOOC)
Sciweb
Editeur en ligne pour débuter en Scilab
Try OCaml
Editeur en ligne pour débuter en OCaml
Développement applicatif
Développement de logiciels sûrs et critiques
Support TypeRex-Pro
Support technique pour développeurs OCaml
Formation à la programmation OCaml
Formations pour équipes de développeurs
Recherche & développement
Projets de R&D collaborative
Optal
Langage d’optimisation combinatoire
Tezos
Une blockchain à gouvernance intégrée
Blockchains
Applications de blockchains sur les blockchains Bitcoin, Ethereum et Tezos
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
Muriel Shan Sei Fan
President
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.
Fabrice Le Fessant
Founder and Scientific Advisor
Fabrice was an INRIA researcher when he founded OCamlPro to help democratize the OCaml language. He has built a strategic partnership between OCamlPro and INRIA that allows OCamlPro to interact closely with the core OCaml developers. 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).
Ç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 Systemes on the extension of a real-time modeling language for discrete-event systems.
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.
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.
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.
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.
Michael Laporte
Senior 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.
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.
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.
Alain Mebsout
Senior R&D Engineer
Alain Mebsout is a senior R&D engineer with expertise in formal methods. He holds a PhD from Université Paris-Sud XI obtained in 2014 after working as an engineer for Inria. He developed the Cubicle model checker for parameterized
systems and has worked on the SMT solver Alt-Ergo for software verification. Before finally joining OCamlPro in 2017, he worked at the University of Iowa on a NASA funded project focused on the qualification of proof-producing tools like the software model checker Kind 2.
Raja Boujbel
Senior R&D Engineer
Maxime Levillain
R&D Engineer
Maxime holds a PhD in hadronic physics, obtained in 2015 from Paris-Saclay University for performing data analysis and detector characterization on a CERN experiment.
In an effort to improve his skills in functional language and make the most of his former competence, he joined OCamlPro in early 2018.
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.
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.
Guillaume Bury
Junior R&D Engineer
Guillaume holds a research Master in computer science from Ecole Normale Supérieure in Paris, France, and studies the integration of rewriting techniques inside SMT solvers as a PhD student under the direction of Gilles Dowek and David Delahaye in Deducteam at ENS Cachan. He joined the OCamlPro team in October 2018.
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.
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 (https://github.com/hopv/hoice), written in rust. Before that, he was working at the University of Iowa on the Kind 2 model checker (https://github.com/kind2-mc/kind2) with Christoph Sticksel and Alain Mebsout.