Xavier Leroy

French computer scientist and programmer
Person human Q3570727
Press Enter · cited answer in seconds

Xavier Leroy

Summary

Xavier Leroy is a human[1]. He was born in Orléans[2]. He was born on +1968-03-15T00:00:00Z[3]. He worked as a computer scientist[4], engineer[5], programmer[6], and university teacher[7]. He ranks in the top 0.72% of human entities by monthly Wikipedia readership (49 views/month, #7,252 of 1,000,298).[8]

Key Facts

  • Xavier Leroy's place of birth was Orléans[2].
  • Xavier Leroy was born on +1968-03-15T00:00:00Z[3].
  • Xavier Leroy held citizenship in France[9].
  • Xavier Leroy worked as a computer scientist[4].
  • Xavier Leroy's professions included engineer[5].
  • Xavier Leroy worked as a programmer[6].
  • Xavier Leroy's professions included university teacher[7].
  • Xavier Leroy's field of work was computer science[10].
  • Xavier Leroy's field of work was functional programming[11].
  • Xavier Leroy was employed by University of Paris[12].
  • Xavier Leroy was employed by Collège de France[13].
  • Xavier Leroy was employed by Institut National de Recherche en Informatique et en Automatique[14].
  • Xavier Leroy's education included a stint at École Normale Supérieure[15].
  • Xavier Leroy was educated at Paris Diderot University[16].
  • Xavier Leroy's doctoral advisor was Gérard Huet[17].
  • Xavier Leroy received the Michel Monpetit Prize[18].
  • Xavier Leroy received the Milner Award and Lecture[19].
  • Xavier Leroy received the Van Wijngaarden Award[20].
  • Xavier Leroy received the ACM Fellow[21].
  • Xavier Leroy received the Q102294596[22].
  • Xavier Leroy was a member of Association for Computing Machinery[23].
  • Xavier Leroy's image is recorded as Xavier Leroy.jpg[24].
  • Xavier Leroy is recorded as male[25].
  • Xavier Leroy's instance of is recorded as human[26].
  • Xavier Leroy supervised François Pessaux as a doctoral student[27].

Body

Origins and Family

Xavier Leroy's place of birth was Orléans[2]. He was born on +1968-03-15T00:00:00Z[3].

Education

Educated at École Normale Supérieure[15], a école normale supérieure[28], in France[29], founded in 1794[30], headquartered in Paris[31] and Paris Diderot University[16], a university in France[32], in France[33], founded in 1971[34], headquartered in Paris[35]. Xavier Leroy's doctoral advisor was Gérard Huet[17].

Career and Affiliations

Recorded occupations include computer scientist[4], engineer[5], programmer[6], and university teacher[7]. Fields of work include computer science[10], an academic discipline[36] and functional programming[11], a programming paradigm[37]. Employers include University of Paris[12], a former entity[38], in France[39], founded in 1150[40], headquartered in Paris[41]; Collège de France[13], a higher education institution[42], in France[43], founded in 1530[44], headquartered in Paris[45]; and Institut National de Recherche en Informatique et en Automatique[14], a French public establishment of a scientific and technological character[46], in France[47], founded in 1967[48], headquartered in Le Chesnay[49]. Doctoral students include François Pessaux[27], Benjamin Grégoire[50], Tom Hirschowitz[51], Jean-Baptiste Tristan[52], Zaynah Léa Dargaye[53], and Tahina Ramananandro[54].

Recognition

Awards received include Michel Monpetit Prize[18], an award[55]; Milner Award and Lecture[19], a science award[56]; Van Wijngaarden Award[20], a mathematics award[57], founded in 2006[58]; ACM Fellow[21], a fellowship award[59]; and Q102294596[22].

Why It Matters

Xavier Leroy ranks in the top 0.72% of human entities by monthly Wikipedia readership (49 views/month, #7,252 of 1,000,298).[8] He has Wikipedia articles in 6 language editions, a strong signal of global cultural recognition.[60]

FAQs

Where was Xavier Leroy born?

Born in Orléans[2], Xavier Leroy…

What did Xavier Leroy do for work?

Xavier Leroy worked as computer scientist[4], engineer[5], programmer[6], and university teacher[7].

Where did Xavier Leroy go to school?

Xavier Leroy was educated at École Normale Supérieure[15] and Paris Diderot University[16].

What awards did Xavier Leroy receive?

Honors received include Michel Monpetit Prize[18], Milner Award and Lecture[19], Van Wijngaarden Award[20], and ACM Fellow[21].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [24] . wikidata.org.
  2. [2] . Who's Who in France. Retrieved . wikidata.org.
  3. [25] . wikidata.org.
  4. [9] . wikidata.org.
  5. [26] . wikidata.org.
  6. [15] . wikidata.org.
  7. [16] . wikidata.org.
  8. [10] . wikidata.org.
  9. [11] . Retrieved . wikidata.org.
  10. [4] . wikidata.org.
  11. [5] . wikidata.org.
  12. [6] . wikidata.org.
  13. [7] . wikidata.org.
  14. [12] . wikidata.org.
  15. [13] . Retrieved . wikidata.org.
  16. [14] . wikidata.org.
  17. [18] . wikidata.org.
  18. [19] . royalsociety.org. royalsociety.org. Provenance: wikidata.org.
  19. [20] . cwi.nl. Retrieved . cwi.nl. Provenance: wikidata.org.
  20. [21] . awards.acm.org. Retrieved . awards.acm.org. Provenance: wikidata.org.
  21. [22] . academie-sciences.fr. academie-sciences.fr. Provenance: wikidata.org.
  22. [17] . wikidata.org.
  23. [27] . Mathematics Genealogy Project. wikidata.org.
  24. [50] . Mathematics Genealogy Project. wikidata.org.
  25. [51] . Mathematics Genealogy Project. wikidata.org.
  26. [52] . Mathematics Genealogy Project. wikidata.org.
  27. [53] . Mathematics Genealogy Project. wikidata.org.
  28. [54] . Mathematics Genealogy Project. wikidata.org.
  29. [23] . acm.org. Retrieved . acm.org. Provenance: wikidata.org.
  30. [3] . BnF authorities. Retrieved . catalogue.bnf.fr. Provenance: wikidata.org.

Inline context (facts about related entities)

  1. [28] . Wikidata. wikidata.org. → on this site
  2. [29] . Wikidata. wikidata.org. → on this site
  3. [30] . Wikidata. wikidata.org. → on this site
  4. [31] . Wikidata. wikidata.org. → on this site
  5. [32] . Wikidata. wikidata.org. → on this site
  6. [33] . Wikidata. wikidata.org. → on this site
  7. [34] . Wikidata. wikidata.org. → on this site
  8. [35] . Wikidata. wikidata.org. → on this site
  9. [36] . Wikidata. wikidata.org. → on this site
  10. [37] . Wikidata. wikidata.org. → on this site
  11. [38] . Wikidata. wikidata.org. → on this site
  12. [39] . Wikidata. wikidata.org. → on this site
  13. [40] . Wikidata. wikidata.org. → on this site
  14. [41] . Wikidata. wikidata.org. → on this site
  15. [42] . Wikidata. wikidata.org. → on this site
  16. [43] . Wikidata. wikidata.org. → on this site
  17. [44] . Wikidata. wikidata.org. → on this site
  18. [45] . Wikidata. wikidata.org. → on this site
  19. [46] . Wikidata. wikidata.org. → on this site
  20. [47] . Wikidata. wikidata.org. → on this site
  21. [48] . Wikidata. wikidata.org. → on this site
  22. [49] . Wikidata. wikidata.org. → on this site
  23. [55] . Wikidata. wikidata.org. → on this site
  24. [56] . Wikidata. wikidata.org. → on this site
  25. [57] . Wikidata. wikidata.org. → on this site
  26. [58] . Wikidata. wikidata.org. → on this site
  27. [59] . Wikidata. wikidata.org. → on this site

Class ancestry

  1. [1] . Wikidata. wikidata.org.

Aggregate / graph-position facts

  1. [8] . Wikimedia Foundation. dumps.wikimedia.org.
  2. [60] . Wikidata sitelinks. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Xavier Leroy. Retrieved March 8, 2026, from https://4ort.xyz/entity/xavier-leroy
MLA “Xavier Leroy.” 4ort.xyz Knowledge Graph, 4ort.xyz, 8 Mar. 2026, https://4ort.xyz/entity/xavier-leroy.
BibTeX @misc{4ortxyz_xavier-leroy_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Xavier Leroy}}, year = {2026}, url = {https://4ort.xyz/entity/xavier-leroy}, note = {Accessed: 2026-03-08}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Xavier Leroy — https://4ort.xyz/entity/xavier-leroy (retrieved 2026-03-08)

Canonical URL: https://4ort.xyz/entity/xavier-leroy · Last refreshed: