Thierry Coquand
Thierry Coquand (; born 18 April 1961 in Jallieu, Isère, France) is a professor in computer science at the University of Gothenburg, Sweden. He is known for his work in constructive mathematics, especially the calculus of constructions. He received his Ph.D. under the supervision of Gérard Huet.
Q12559
Isère
Concept
Q21198
computer science
Concept
Q371522
University of Gothenburg
ORG
Q1137814
constructive mathematics
Concept
Q858320
calculus of constructions
Concept
Q974366
Gérard Huet
PER
Q3524190
Thierry Coquand
PER
1961-04-18T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
18 April 1961
DATE
place of birth
field of work
employer
date of birth
doctoral advisor