Thierry Coquand
From Infogalactic: the planetary knowledge core
File:Thierry Coquand.jpg
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's publications indexed by the DBLP Bibliography Server at the University of Trier
- Thierry Coquand at the Mathematics Genealogy Project
Lua error in package.lua at line 80: module 'strict' not found.
<templatestyles src="Asbox/styles.css"></templatestyles>
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This article about a French mathematician is a stub. You can help Wikipedia by expanding it. |
