Xavier Leroy

Xavier Leroy

male
PhD, Directeur de Recherche, INRIA, Ecole Normale Superieure, ObjectiveCaml, formal method
Xavier Leroy is a French computer scientist and programmer. He is best known for his role as a primary developer of the Objective Caml system. He...

Damien Doligez

male
computer programmer, computer scientist, French, Academic, Programmer, Charge de Recherche…ObjectiveCaml
Damien Doligez is a French academic and programmer. He is best known for his role as a developer of the Objective Caml system, especially its...