Thierry Coquand
Thierry Coquand (French: [kɔkɑ̃]; 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.
.jpg)
Thierry Coquand in June 2006
See also
- Coq
- Girard's paradox
External links
- Academic homepage
- Thierry Coquand at DBLP Bibliography Server
| Authority control |
|
|---|
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.