Thierry Coquand
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 63 |
| Date of birth | April 18,1961 |
| Zodiac sign | Aries |
| Born | Bourgoin-Jallieu |
| France | |
| Academic advisor | Gérard Huet |
| Books | On the Computational Content of the Axiom of Choice |
| Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1382790 |
Thierry Coquand Life story
Thierry Coquand 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.