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 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], 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. [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 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:

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. 3h 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 */ [[Property:P5664]]: 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.