Xavier Leroy

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

Summary

Xavier Leroy is a human[1]. He was born in Orléans[2]. He was born on March 15, 1968[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 (946 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 March 15, 1968[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 is recorded as male[24].
  • Xavier Leroy's instance of is recorded as human[25].
  • Xavier Leroy supervised François Pessaux as a doctoral student[26].
  • Xavier Leroy supervised Benjamin Grégoire as a doctoral student[27].

Body

Origins and Family

Xavier Leroy's place of birth was Orléans[2]. He was born on March 15, 1968[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[26], Benjamin Grégoire[27], Tom Hirschowitz[50], Jean-Baptiste Tristan[51], Zaynah Léa Dargaye[52], and Tahina Ramananandro[53].

Recognition

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

Why It Matters

Xavier Leroy ranks in the top 0.72% of human entities by monthly Wikipedia readership (946 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] He is known by 7 alternative names across languages and contexts.[61]

FAQs

Where was Xavier Leroy born?

Born in Orléans[2].

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. [2] ↑ . wikidata.org.
  2. [24] ↑ . wikidata.org.
  3. [9] ↑ . wikidata.org.
  4. [25] ↑ . wikidata.org.
  5. [15] ↑ . wikidata.org.
  6. [16] ↑ . wikidata.org.
  7. [10] ↑ . wikidata.org.
  8. [11] ↑ . wikidata.org.
  9. [4] ↑ . wikidata.org.
  10. [5] ↑ . wikidata.org.
  11. [6] ↑ . wikidata.org.
  12. [7] ↑ . wikidata.org.
  13. [12] ↑ . wikidata.org.
  14. [13] ↑ . wikidata.org.
  15. [14] ↑ . wikidata.org.
  16. [18] ↑ . wikidata.org.
  17. [19] ↑ . wikidata.org.
  18. [20] ↑ . wikidata.org.
  19. [21] ↑ . wikidata.org.
  20. [22] ↑ . wikidata.org.
  21. [17] ↑ . wikidata.org.
  22. [26] ↑ . wikidata.org.
  23. [27] ↑ . wikidata.org.
  24. [50] ↑ . wikidata.org.
  25. [51] ↑ . wikidata.org.
  26. [52] ↑ . wikidata.org.
  27. [53] ↑ . wikidata.org.
  28. [23] ↑ . wikidata.org.
  29. [3] ↑ . 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. [54] ↑ . Wikidata. wikidata.org. → on this site
  24. [55] ↑ . Wikidata. wikidata.org. → on this site
  25. [56] ↑ . Wikidata. wikidata.org. → on this site
  26. [57] ↑ . Wikidata. wikidata.org. → on this site
  27. [58] ↑ . Wikidata. wikidata.org. → on this site
  28. [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.
  3. [61] ↑ . Wikidata aliases. 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 October 11, 2026, from https://4ort.xyz/entity/xavier-leroy
MLA “Xavier Leroy.” 4ort.xyz Knowledge Graph, 4ort.xyz, 11 Oct. 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-10-11}}
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-10-11)

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

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

  1. 20d ago · Gerwoman · 2026-09-23 view diff on Wikidata ↗
    Mathematics genealogy project id → —
    Nationale thesaurus voor auteursnamen id → —
    Nationale thesaurus voor auteursnamen id → 17316191X
    Given name → Xavier
    + 78 other properties edited (see Wikidata diff for full list)
    "/* wbsetclaim-create:1||1 */ Savoirs ens id: 1593, Matched to [[:toollabs:mix-n-match/#/entry/159530713|Xavier Leroy (#159530713)]] in [[:toollabs:mix-n-match/#/catalog/6175|Savoirs ENS]] #mix'n'm"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.