Thierry Coquand

Summary

Thierry Coquand is a human^[1]. Born in Isère^[2], he… he was born on April 18, 1961^[3]. He worked as a mathematician^[4], computer scientist^[5], and engineer^[6]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (102 views/month, #7,260 of 1,000,298).^[7]

Key Facts

• Thierry Coquand's place of birth was Isère^[2].
• Thierry Coquand was born on April 18, 1961^[3].
• Thierry Coquand held citizenship in France^[8].
• Thierry Coquand worked as a mathematician^[4].
• Thierry Coquand worked as a computer scientist^[5].
• Thierry Coquand's professions included engineer^[6].
• Thierry Coquand's field of work was computer science^[9].
• Thierry Coquand was employed by University of Gothenburg^[10].
• Among Thierry Coquand's employers was Chalmers University of Technology^[11].
• Thierry Coquand was employed by Institut National de Recherche en Informatique et en Automatique^[12].
• Thierry Coquand was educated at École Normale Supérieure^[13].
• Thierry Coquand's doctoral advisor was Gérard Huet^[14].
• A notable work attributed to Thierry Coquand is Rocq prover^[15].
• Thierry Coquand received the ACM Software System Award^[16].
• Thierry Coquand was a member of Academia Europaea^[17].
• Thierry Coquand is recorded as male^[18].
• Thierry Coquand's instance of is recorded as human^[19].
• Thierry Coquand supervised Hugo Herbelin as a doctoral student^[20].
• Thierry Coquand supervised Lena Magnusson as a doctoral student^[21].
• Thierry Coquand supervised Daniel Fridlender as a doctoral student^[22].
• Thierry Coquand supervised Henrik Persson as a doctoral student^[23].
• Thierry Coquand supervised Pierre Hyvernat as a doctoral student^[24].
• Thierry Coquand supervised David Wahlstedt as a doctoral student^[25].
• Thierry Coquand supervised Arnaud Spiwack as a doctoral student^[26].
• Thierry Coquand's Commons category is recorded as Thierry Coquand (computer scientist)^[27].

Body

Origins and Family

Thierry Coquand's place of birth was Isère^[2]. He was born on April 18, 1961^[3].

Education

Thierry Coquand's education included a stint at École Normale Supérieure^[13]. His doctoral advisor was Gérard Huet^[14]. He earned the academic degree of Doctor of Philosophy^[28].

Career and Affiliations

Recorded occupations include mathematician^[4], computer scientist^[5], and engineer^[6]. Thierry Coquand's field of work was computer science^[9]. Employers include University of Gothenburg^[10], a university^[29], in Sweden^[30], founded in 1954^[31], headquartered in Gothenburg^[32]; Chalmers University of Technology^[11], a university^[33], in Sweden^[34], founded in 1829^[35], headquartered in Gothenburg^[36]; and Institut National de Recherche en Informatique et en Automatique^[12], a French public establishment of a scientific and technological character^[37], in France^[38], founded in 1967^[39], headquartered in Le Chesnay^[40]. Doctoral students include Hugo Herbelin^[20]; Lena Magnusson^[21]; Daniel Fridlender^[22], a computer scientist^[41]; Henrik Persson^[23]; Pierre Hyvernat^[24]; and David Wahlstedt^[25].

Works and Contributions

A notable work attributed to Thierry Coquand is Rocq prover^[15]. Things named for him include Rocq prover^[42], a proof assistant^[43], in France^[44], founded in 1984^[45].

Recognition

Thierry Coquand received the ACM Software System Award^[16].

Why It Matters

Thierry Coquand ranks in the top 0.73% of human entities by monthly Wikipedia readership (102 views/month, #7,260 of 1,000,298).^[7] He has Wikipedia articles in 6 language editions, a strong signal of global cultural recognition.^[46]

Entities named for him include Rocq prover^[42], a proof assistant^[43], in France^[44], founded in 1984^[45].

His notable doctoral advisees include Daniel Fridlender^[47], a computer scientist^[48] and Arnaud Spiwack^[49], a computer scientist^[50].

FAQs

Where was Thierry Coquand born?

Born in Isère^[2], Thierry Coquand…

What did Thierry Coquand do for work?

Thierry Coquand worked as mathematician^[4], computer scientist^[5], and engineer^[6].

Where did Thierry Coquand go to school?

Thierry Coquand was educated at École Normale Supérieure^[13].

What awards did Thierry Coquand receive?

Honors received include ACM Software System Award^[16].