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). Home Linkedin Github Ssh-Key


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. Home Github Ssh-Key


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. Linkedin Github Ssh-Key


Mohamed Iguernelala, Senior R&D Engineer

Mohamed Mohamed Iguernelala 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. Home Linkedin Github Ssh-Key


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. Home Linkedin Github Ssh-Key


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. Github Ssh-Key


Çagdas 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. Home Linkedin Github Ssh-Key


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. Github Ssh-Key


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. Github Linkedin Ssh-Key