Thierry Coquand
From Wikipedia, the free encyclopedia
Thierry Coquand (born 18 April 1961, 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.
See also [edit]
External links [edit]
- Academic homepage
- List of publications from the DBLP Bibliography Server
- Thierry Coquand at the Mathematics Genealogy Project
| P ≟ NP | This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it. |
 |
This article about a French mathematician is a stub. You can help Wikipedia by expanding it. |
