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>
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