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
Sources
1. Xavier Leroy (Wikidata)
P569 (date of birth): year 1968
1968
Wikidata P166: ACM Fellow
Wikidata P166 (award received): ACM Fellow.
Wikidata P166: Van Wijngaarden Award
Wikidata P166 (award received): Van Wijngaarden Award.
Wikidata P166: Michel Monpetit Prize
Wikidata P166 (award received): Michel Monpetit Prize.
Wikidata P166: Milner Award and Lecture
Wikidata P166 (award received): Milner Award and Lecture.
P569 (date of birth): 1968-03-15
1968-03-15
View the SourceReader 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.