Thierry Coquand
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- France
- MGP identifier
- 137164
Dissertation: Une théorie des Constructions
Advisor 1
- Gérard Pierre HuetCase Western Reserve University · 1972
Students 8
| Name | Institution | Year | Students |
|---|---|---|---|
| Daniel Fridlender | Not recorded | — | 0 |
| Hugo Herbelin | Not recorded | — | 8 |
| Pierre Hyvernat | Not recorded | — | 1 |
| Lena Magnusson | Not recorded | — | 0 |
| Anders Mörtberg | Chalmers Tekniska Högskola | 2014 | 1 |
| Henrik Persson | Not recorded | — | 0 |
| Arnaud Spiwack | Chalmers Tekniska Högskola and École Polytechnique | 2011 | 0 |
| David Wahlstedt | Chalmers Tekniska Högskola | 2007 | 0 |