Xavier Leroy (born March 15, 1968) is a French computer scientist and a primary developer of the OCaml programming language, and he leads the CompCert project, which built an optimizing C compiler formally verified to be free of miscompilation bugs. He studied at the Ecole normale superieure in Paris before earning his PhD in 1992 under Gerard Huet, worked for many years as a senior scientist at Inria, and was appointed professor of software science at the College de France in 2018.
Facts
AwardMilner Award and Lecture 1 Connections
In Field
Source Xavier Leroy (Wikipedia)
Invented
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Sources
1. Wikidata: Xavier Leroy
Wikidata Q3570727, class allow-list match (w-wdresolver-0926)View the Source Xavier Leroy (Wikipedia)
In Field: Programming Language Theory, Infobox field and known_for, lead paragraphView the Source Wikipedia: Caml
Invented: Caml, Infobox: designerQuote, Invented: Caml, Infobox: designer
Gérard Huet, Guy Cousineau, Ascánder Suárez, Pierre Weis, Michel Mauny (Heavy Caml), Xavier Leroy (Caml Light)
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.