OCamlPro, leader du développement logiciel de pointe en OCaml

Nos produits

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

Open Source

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

Applications web

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

Nos services

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

Cas d'usage

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

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

OCamlPro est une PME, startup de l’Inria, spécialisée dans la conception à façon de logiciels de pointe, et a contribué de manière significative au rayonnement du langage OCaml, désormais incontournable dans le développement de logiciels industriels. Membre officiel du Consortium Caml, son équipe est composée d'ingénieurs et docteurs en informatique, pour certains membres de l'équipe de développement du langage lui-même. OCamlPro développe d'ailleurs des outils en OCaml pour améliorer la qualité des programmes écrits dans d'autres langages.
Les experts d'OCamlPro conçoivent et développent des solutions logicielles faisant appel à des compétences en algorithmique complexe et distribuée, ou en preuve formelle.
OCamlPro est impliquée dans de nombreux projets de recherche et de R&D, et conserve des liens forts avec l'écosystème des laboratoires de recherche publique, tel l'IRILL (Inria, Paris 6, Paris 7) à Paris ou OCamlLabs à Cambridge.

Notre équipe

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

Ç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

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.
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.
Uploaded image

Maxime Levillain

Junion R&D Engineer
Maxime has 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 functionnal language and make the most of his former competemce, he joined OcamlPro in 2018.

By continuing to use the site, you agree to the use of 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.

Close