Thierry Coquand
Thierry Coquand in June 2006
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.
See also[]
External links[]
- Academic homepage
- Thierry Coquand at DBLP Bibliography Server
| hide Authority control  | |
|---|---|
| General |
|
| National libraries | |
| Scientific databases | |
| Other |
|
 | This article about a French mathematician is a stub. You can help Wikipedia by . |
Categories:
- Computer scientist stubs
- French mathematician stubs
- French computer scientists
- École Normale Supérieure alumni
- 20th-century French mathematicians
- 21st-century French mathematicians
- University of Gothenburg faculty
- 1961 births
- Living people