Xavier Leroy
Sign in to saveFrench computer scientist and programmer
Person · Open Library
- Works
- 5
Top works
- Vie quotidienne des marins nantais au XIXe
- Inventaire Photographique et Genealogique de Trentemoult et Vertou
- Proceedings of the 2015 Conference on Certified Programs and Proofs
- Program Logics for Certified Compilers
- Conference Record of Popl 2004 : The 31st Acm Sigplan-Sigact Symposium on Principles of Programming Languages
via Open Library + Wikidata
Listeners · Last.fm
- Listeners
- 8
- Total plays
- 12
<a href="https://www.last.fm/music/xavier+leroy">Read more on Last.fm</a>
Recent publications · Crossref
5 total works indexed
- The ERA5 global reanalysis
· 2020 · cited 24,136x
- Initial sequencing and analysis of the human genome
· 2001 · cited 18,612x
- Global burden of bacterial antimicrobial resistance in 2019: a systematic analysis
· 2022 · cited 13,848x
- pROC: an open-source package for R and S+ to analyze and compare ROC curves
· 2011 · cited 11,850x
- Observation of Gravitational Waves from a Binary Black Hole Merger
· 2016 · cited 11,688x
via Crossref · CC0
Quotes
- “I was walking in the city the other day. I saw a syringe lying on the sidewalk. I stuck the needle in my forearm. That was a classy neighborhood, so the use of the syringe seemed justified.”
- “You see, the Caml garbage collector is like a god from ancient mythology: mighty, but very irritable. If you mess with it, it'll make you suffer in surprising ways.”
- “A few programming is taking you away from mathematics; a lot will get you back in.”
- “Repeat after me: "Obj.magic is not part of the OCaml language".”
- “If Bordeaux red wines were carbonated, McDonald's would be a lot more interested in selling them.”
via Wikiquote · CC BY-SA
Official website
Xavier Leroy - Home page
Home page of Xavier Leroy, a computer scientist. Information on Xavier Leroy's research projects, courses, publications, and open-source software.
xavierleroy.org →Link to the official site · 8,679 chars · not written by Vinony
Wikidata facts
- Instance of
- human
- Given name
- Xavier
- Family name
- Leroy
- Gender
- male
- Citizenship
- France
- Place of birth
- Orléans
- Occupation
- university teacher
- Educated at
- Paris Diderot University
- Languages spoken
- English language
- Doctoral advisor
- Gérard Huet
- Field of work
- functional programming
- Official website
- xavierleroy.org
- Image
- Xavier Leroy.jpg
Show 3 more facts
- date of birth
- 1968-03-15
- member of
- Association for Computing Machinery
- Academia.edu profile URL
- inrialpes.academia.edu/XavierLeroy
via Wikidata · CC0