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).
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 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 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.
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.
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.
Ç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.
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.
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.