Gérard Huet

French computer scientist
Person human Q974366
Press Enter · cited answer in seconds

Gérard Huet was born on July 7, 1947, in Bourges . He holds French citizenship . His professional roles include computer scientist, engineer, logician, university teacher, and mathematician [1].

Huet received his education at the Science Faculty of Paris, Case Western Reserve University, École nationale supérieure de l'aéronautique et de l'espace, and Paris Diderot University [2]. He has been employed by the University of Paris-Sud and Paris Diderot University [3]. His fields of work encompass computer science, informatics, computational linguistics, and Sanskrit [1].

His achievements have been recognized with the EATCS award, ACM Software System Award, and Herbrand Award [4]. He is a member of the French Academy of Sciences and Academia Europaea [5].

Gérard Huet

Summary

Gérard Huet is a human[1]. Born in Bourges[2], he… he was born on July 7, 1947[3]. He worked as a computer scientist[4], engineer[5], logician[6], university teacher[7], and mathematician[8]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (136 views/month, #7,267 of 1,000,298).[9]

Key Facts

  • Born in Bourges[2], Gérard Huet…
  • Gérard Huet was born on July 7, 1947[3].
  • Gérard Huet held citizenship in France[10].
  • Gérard Huet's professions included computer scientist[4].
  • Gérard Huet worked as an engineer[5].
  • Gérard Huet worked as a logician[6].
  • Gérard Huet worked as a university teacher[7].
  • Gérard Huet worked as a mathematician[8].
  • Gérard Huet's field of work was computer science[11].
  • Gérard Huet's field of work was informatics[12].
  • Gérard Huet's field of work was computational linguistics[13].
  • Gérard Huet's field of work was Sanskrit[14].
  • Among Gérard Huet's employers was University of Paris-Sud[15].
  • Among Gérard Huet's employers was Paris Diderot University[16].
  • Gérard Huet was educated at Science Faculty of Paris[17].
  • Gérard Huet was educated at Case Western Reserve University[18].
  • Gérard Huet was educated at École nationale supérieure de l'aéronautique et de l'espace[19].
  • Gérard Huet's doctoral advisor was Maurice Nivat[20].
  • A notable student of Gérard Huet was Benoît Razet[21].
  • Gérard Huet received the EATCS award[22].
  • Gérard Huet received the ACM Software System Award[23].
  • Gérard Huet received the Herbrand Award[24].
  • Gérard Huet was a member of French Academy of Sciences[25].
  • Gérard Huet was a member of Academia Europaea[26].
  • Gérard Huet is recorded as male[27].

Body

Origins and Family

Born in Bourges[2], Gérard Huet… he was born on July 7, 1947[3].

Education

Educated at Science Faculty of Paris[17], a faculty[28], in France[29], founded in 1811[30]; Case Western Reserve University[18], a private university[31], in United States[32], founded in 1967[33], headquartered in Cleveland[34]; and École nationale supérieure de l'aéronautique et de l'espace[19], a grande école[35], in France[36], founded in 1909[37]. Gérard Huet's doctoral advisor was Maurice Nivat[20]. He studied under George Ernst[38].

Career and Affiliations

Recorded occupations include computer scientist[4], engineer[5], logician[6], university teacher[7], and mathematician[8]. Fields of work include computer science[11], an academic discipline[39]; informatics[12], an academic major[40], founded in 1957[41]; computational linguistics[13], an interdisciplinary science[42]; and Sanskrit[14], a language[43], in India[44]. Employers include University of Paris-Sud[15], a university in France[45], in France[46], founded in 1971[47], headquartered in Lille[48] and Paris Diderot University[16], a university in France[49], in France[50], founded in 1971[51], headquartered in Paris[52]. A notable student of Gérard Huet was Benoît Razet[21]. Doctoral students include Jean-Marie Hullot[53], a computer scientist[54], 1954–2019[55], of France[56], specialised in computer science[57]; Thierry Coquand[58], a mathematician[59], b. 1961[60], of France[61], awarded the ACM Software System Award[62], specialised in computer science[63]; Xavier Leroy[64], a computer scientist[65], b. 1968[66], of France[67], awarded the Michel Monpetit Prize[68], specialised in computer science[69]; François Fages[70], a bioinformatician[71], b. 1959[72], of France[73], awarded the Michel Monpetit Prize[74]; Christine Paulin-Mohring[75], a computer scientist[76], b. 1962[77], of France[78], awarded the Michel Monpetit Prize[79]; and Gilles Dowek[80], a computer scientist[81], 1966–2025[82], of France[83], specialised in informatics[84].

Recognition

Awards received include EATCS award[22], a science award[85], founded in 2000[86]; ACM Software System Award[23], a science award[87], founded in 1983[88]; and Herbrand Award[24], an award[89], founded in 1992[90].

Why It Matters

Gérard Huet ranks in the top 0.73% of human entities by monthly Wikipedia readership (136 views/month, #7,267 of 1,000,298).[9] He has Wikipedia articles in 6 language editions, a strong signal of global cultural recognition.[91] He is known by 5 alternative names across languages and contexts.[92]

His notable doctoral advisees include Xavier Leroy[93], a computer scientist[94], b. 1968[95], of France[96], awarded the Michel Monpetit Prize[97], specialised in computer science[98]; Jean-Marie Hullot[99], a computer scientist[100], 1954–2019[101], of France[102], specialised in computer science[103]; Thierry Coquand[104], a mathematician[105], b. 1961[106], of France[107], awarded the ACM Software System Award[108], specialised in computer science[109]; Christine Paulin-Mohring[110], a computer scientist[111], b. 1962[112], of France[113], awarded the Michel Monpetit Prize[114]; Gilles Dowek[115], a computer scientist[116], 1966–2025[117], of France[118], specialised in informatics[119]; and Benjamin Werner[120], a computer scientist[121], b. 1966[122], of France[123].

FAQs

Where was Gérard Huet born?

Born in Bourges[2], Gérard Huet…

What did Gérard Huet do for work?

Gérard Huet worked as computer scientist[4], engineer[5], logician[6], university teacher[7], and mathematician[8].

Where did Gérard Huet go to school?

Gérard Huet was educated at Science Faculty of Paris[17], Case Western Reserve University[18], and École nationale supérieure de l'aéronautique et de l'espace[19].

What awards did Gérard Huet receive?

Honors received include EATCS award[22], ACM Software System Award[23], and Herbrand Award[24].

References

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

Direct Wikidata claims

  1. [2] . wikidata.org.
  2. [27] . Virtual International Authority File. Retrieved . wikidata.org.
  3. [10] . wikidata.org.
  4. [17] . wikidata.org.
  5. [18] . wikidata.org.
  6. [19] . wikidata.org.
  7. [11] . wikidata.org.
  8. [12] . Czech National Authority Database. Retrieved . wikidata.org.
  9. [13] . Czech National Authority Database. Retrieved . wikidata.org.
  10. [14] . Czech National Authority Database. Retrieved . wikidata.org.
  11. [4] . wikidata.org.
  12. [5] . wikidata.org.
  13. [6] . wikidata.org.
  14. [7] . wikidata.org.
  15. [8] . Czech National Authority Database. Retrieved . wikidata.org.
  16. [15] . idref.fr. idref.fr. Provenance: wikidata.org.
  17. [16] . idref.fr. idref.fr. Provenance: wikidata.org.
  18. [22] . wikidata.org.
  19. [23] . awards.acm.org. awards.acm.org. Provenance: wikidata.org.
  20. [24] . wikidata.org.
  21. [20] . SUDOC. wikidata.org.
  22. [53] . wikidata.org.
  23. [58] . SUDOC. theses.fr. Provenance: wikidata.org.
  24. [64] . SUDOC. wikidata.org.
  25. [70] . Mathematics Genealogy Project. wikidata.org.
  26. [75] . Mathematics Genealogy Project. wikidata.org.
  27. [80] . Mathematics Genealogy Project. wikidata.org.
  28. [25] . wikidata.org.
  29. [26] . www.ae-info.org. wikidata.org.
  30. [3] . wikidata.org.
  31. [21] . Mathematics Genealogy Project. wikidata.org.
  32. [38] . Mathematics Genealogy Project. wikidata.org.

Inverse relationships (entities pointing at this one)

  1. [93] . wikidata.org. → on this site
  2. [99] . wikidata.org. → on this site
  3. [104] . wikidata.org. → on this site
  4. [110] . wikidata.org. → on this site
  5. [115] . wikidata.org. → on this site
  6. [120] . wikidata.org. → on this site

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. [39] . Wikidata. wikidata.org. → on this site
  12. [40] . Wikidata. wikidata.org. → on this site
  13. [41] . Wikidata. wikidata.org. → on this site
  14. [42] . Wikidata. wikidata.org. → on this site
  15. [43] . Wikidata. wikidata.org. → on this site
  16. [44] . Wikidata. wikidata.org. → on this site
  17. [45] . Wikidata. wikidata.org. → on this site
  18. [46] . Wikidata. wikidata.org. → on this site
  19. [47] . Wikidata. wikidata.org. → on this site
  20. [48] . Wikidata. wikidata.org. → on this site
  21. [49] . Wikidata. wikidata.org. → on this site
  22. [50] . Wikidata. wikidata.org. → on this site
  23. [51] . Wikidata. wikidata.org. → on this site
  24. [52] . Wikidata. wikidata.org. → on this site
  25. [85] . Wikidata. wikidata.org. → on this site
  26. [86] . Wikidata. wikidata.org. → on this site
  27. [87] . Wikidata. wikidata.org. → on this site
  28. [88] . Wikidata. wikidata.org. → on this site
  29. [89] . Wikidata. wikidata.org. → on this site
  30. [90] . Wikidata. wikidata.org. → on this site
  31. [54] . Wikidata. wikidata.org. → on this site
  32. [55] . Wikidata. wikidata.org. → on this site
  33. [56] . Wikidata. wikidata.org. → on this site
  34. [57] . Wikidata. wikidata.org. → on this site
  35. [59] . Wikidata. wikidata.org. → on this site
  36. [60] . Wikidata. wikidata.org. → on this site
  37. [61] . Wikidata. wikidata.org. → on this site
  38. [62] . Wikidata. wikidata.org. → on this site
  39. [63] . Wikidata. wikidata.org. → on this site
  40. [65] . Wikidata. wikidata.org. → on this site
  41. [66] . Wikidata. wikidata.org. → on this site
  42. [67] . Wikidata. wikidata.org. → on this site
  43. [68] . Wikidata. wikidata.org. → on this site
  44. [69] . Wikidata. wikidata.org. → on this site
  45. [71] . Wikidata. wikidata.org. → on this site
  46. [72] . Wikidata. wikidata.org. → on this site
  47. [73] . Wikidata. wikidata.org. → on this site
  48. [74] . Wikidata. wikidata.org. → on this site
  49. [76] . Wikidata. wikidata.org. → on this site
  50. [77] . Wikidata. wikidata.org. → on this site
  51. [78] . Wikidata. wikidata.org. → on this site
  52. [79] . Wikidata. wikidata.org. → on this site
  53. [81] . Wikidata. wikidata.org. → on this site
  54. [82] . Wikidata. wikidata.org. → on this site
  55. [83] . Wikidata. wikidata.org. → on this site
  56. [84] . Wikidata. wikidata.org. → on this site
  57. [94] . Wikidata. wikidata.org. → on this site
  58. [95] . Wikidata. wikidata.org. → on this site
  59. [96] . Wikidata. wikidata.org. → on this site
  60. [97] . Wikidata. wikidata.org. → on this site
  61. [98] . Wikidata. wikidata.org. → on this site
  62. [100] . Wikidata. wikidata.org. → on this site
  63. [101] . Wikidata. wikidata.org. → on this site
  64. [102] . Wikidata. wikidata.org. → on this site
  65. [103] . Wikidata. wikidata.org. → on this site
  66. [105] . Wikidata. wikidata.org. → on this site
  67. [106] . Wikidata. wikidata.org. → on this site
  68. [107] . Wikidata. wikidata.org. → on this site
  69. [108] . Wikidata. wikidata.org. → on this site
  70. [109] . Wikidata. wikidata.org. → on this site
  71. [111] . Wikidata. wikidata.org. → on this site
  72. [112] . Wikidata. wikidata.org. → on this site
  73. [113] . Wikidata. wikidata.org. → on this site
  74. [114] . Wikidata. wikidata.org. → on this site
  75. [116] . Wikidata. wikidata.org. → on this site
  76. [117] . Wikidata. wikidata.org. → on this site
  77. [118] . Wikidata. wikidata.org. → on this site
  78. [119] . Wikidata. wikidata.org. → on this site
  79. [121] . Wikidata. wikidata.org. → on this site
  80. [122] . Wikidata. wikidata.org. → on this site
  81. [123] . Wikidata. wikidata.org. → on this site

Class ancestry

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

Aggregate / graph-position facts

  1. [9] . Wikimedia Foundation. dumps.wikimedia.org.
  2. [91] . Wikidata sitelinks. wikidata.org.
  3. [92] . 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). Gérard Huet. Retrieved March 8, 2026, from https://4ort.xyz/entity/gerard-huet
MLA “Gérard Huet.” 4ort.xyz Knowledge Graph, 4ort.xyz, 8 Mar. 2026, https://4ort.xyz/entity/gerard-huet.
BibTeX @misc{4ortxyz_gerard-huet_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Gérard Huet}}, year = {2026}, url = {https://4ort.xyz/entity/gerard-huet}, note = {Accessed: 2026-03-08}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Gérard Huet — https://4ort.xyz/entity/gerard-huet (retrieved 2026-03-08)

Canonical URL: https://4ort.xyz/entity/gerard-huet · 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. 10d ago · Epìdosis · 2026-05-22 view diff on Wikidata ↗
    Theses.fr person id 026927241
    Freebase id /m/04gq0sh
    Ae member id
    French academy of sciences member id
    + 95 other properties edited (see Wikidata diff for full list)
    "/* wbeditentity-update:0| */ QuickStatements 3.0 [[:toollabs:qs-dev/batch/32157|batch #32157]]: import P21 and P106 from GND (38)"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.