Team

Fabrice Le Fessant, Founder and Scientific Advisor

Fabrice

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

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

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

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

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, Junior R&D Engineer

Cagdas

Çagdas is working as a PhD student 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