Jean-Yves Girard
Original record- Institution
- Université Paris Diderot - Paris 7
- Year
- 1972
- Country
- France
- MGP identifier
- 82341
Dissertation: Interpretation fonctionelle et elimination des coupures de l'arithmetique d'ordre superieur.
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Jean-Louis KrivineUniversité de Paris · 1967
Students 15
| Name | Institution | Year | Students |
|---|---|---|---|
| Patrick Baillot | Université de la Méditerranée | 1999 | 1 |
| Vincent Danos | Université Paris Diderot - Paris 7 | 1990 | 5 |
| Claudia Faggian | Université de la Méditerranée | 2002 | 0 |
| Arnaud Fleury | Université Paris Diderot - Paris 7 | 1996 | 0 |
| George Koletsos | Victoria University of Manchester | 1980 | 5 |
| Yves Lafont | Université Paris Diderot - Paris 7 | 1988 | 7 |
| Olivier Laurent | Université de la Méditerranée | 2002 | 3 |
| Pasquale Malacaria | Université Paris Diderot - Paris 7 | 1993 | 3 |
| François Métayer | Université Paris Diderot - Paris 7 | 1994 | 1 |
| Luca Paolini | Université de la Méditerranée and Università degli Studi di Genova | 2004 | 0 |
| Marco Pedicini | Université Paris Diderot - Paris 7 | 1999 | 2 |
| Paolo Pistone | Università di Roma La Sapienza and Aix-Marseille Université | 2015 | 0 |
| Laurent Regnier | University of St. Andrews and Université Paris Diderot - Paris 7 | 1992 | 9 |
| Christian Retoré | Université Paris Diderot - Paris 7 | 1993 | 3 |
| Thomas Seiller | Aix-Marseille Université | 2012 | 5 |