Thierry Coquand
Trends in Constructive Mathematics (Frauenwörth, June 2006)
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.
See also
External links
- Academic homepage
- Thierry Coquand at DBLP Bibliography Server
- Thierry Coquand at the Mathematics Genealogy Project
This article is issued from Wikipedia - version of the 11/8/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.