Xavier Leroy

From Wikipedia, the free encyclopedia

Xavier Leroy
Born	(1968-03-15) March 15, 1968
Nationality	French
Fields	Mathematics
Institutions	University of Paris
Alma mater	Paris Diderot University
Doctoral advisor	Gérard Huet
Doctoral students	François Pessaux

Xavier Leroy (born March 15, 1968) is a French computer scientist and programmer. He is best known for his role as a primary developer of the OCaml 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.

He is an internationally recognized expert on functional programming languages and compilers. In recent years, he has taken an interest in formal methods, formal proofs and certified compilation. He is the leader of CompCert project that develops an optimizing compiler for C (programming language), formally verified in Coq.

Leroy was also the original author of LinuxThreads, the most widely used threading package for Linux versions prior to 2.6. Linux 2.6 introduced NPTL, with much more extensive support from the kernel, to replace LinuxThreads.

External links

Xavier Leroy at the Mathematics Genealogy Project
Xavier Leroy's home page
Curriculum vitae
Memory’s body. Marie Muracciole on “Retrospective” by Xavier Le Roy in Texte Zur Kunst

Authority control	WorldCat VIAF: 116467961 LCCN: n98068232 ISNI: 0000 0001 1455 6489 SUDOC: 026985691 BNF: cb11912631g MGP: 137170

Persondata
Name	Leroy, Xavier
Alternative names
Short description
Date of birth	March 15, 1968
Place of birth
Date of death
Place of death

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.