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 is senior scientist ("directeur de recherche") at the French government research institution INRIA. Leroy was admitted to the École normale supérieure in Paris in 1987, where he studied mathematics and computer science. From 1989 to 1992 he did his PhD in computer science under the supervision of Gérard Huet. Wikipedia
The definitive Wikipedia entry for Xavier Leroy. Wikipedia is the biggest multilingual free-content encyclopedia on the Internet. en.wikipedia.org/wiki/Xavier_Leroy
... conferences contact faq Xavier Leroy studying computer programming since 1988 Menu Home Research Publications Software Proofs Talks Students Teaching Conferences Contact info... pauillac.inria.fr/~xleroy/
... en version franaise .) Xavier Leroy Born March 15th, 1968. French citizen. Research interests Design, implementation, formalisation and formal verification of programming languages ... pauillac.inria.fr/~xleroy/cv-eng.html
