Jean-Yves Girard
Ph.D. Université Paris Diderot - Paris 7 1972
Dissertation:
Interpretation fonctionelle et elimination des coupures de l'arithmetique d'ordre superieur.
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor: Jean-Louis Krivine
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Koletsos, George | Victoria University of Manchester | 1980 | 5 |
| Lafont, Yves | Université Paris Diderot - Paris 7 | 1988 | 8 |
| Danos, Vincent | Université Paris Diderot - Paris 7 | 1990 | 7 |
| Regnier, Laurent | University of St. Andrews and Université Paris Diderot - Paris 7 | 1992 | 19 |
| Malacaria, Pasquale | Université Paris Diderot - Paris 7 | 1993 | 3 |
| Retoré, Christian | Université Paris Diderot - Paris 7 | 1993 | 3 |
| Métayer, François | Université Paris Diderot - Paris 7 | 1994 | 1 |
| Fleury, Arnaud | Université Paris Diderot - Paris 7 | 1996 | |
| Baillot, Patrick | Université de la Méditerranée | 1999 | 1 |
| Pedicini, Marco | Université Paris Diderot - Paris 7 | 1999 | 2 |
| Faggian, Claudia | Université de la Méditerranée | 2002 | |
| Laurent, Olivier | Université de la Méditerranée | 2002 | 3 |
| Paolini, Luca | Université de la Méditerranée and Università degli Studi di Genova | 2004 | |
| Seiller, Thomas | Aix-Marseille Université | 2012 | 3 |
| Pistone, Paolo | Università di Roma La Sapienza and Aix-Marseille Université | 2015 |
According to our current on-line database, Jean-Yves Girard has 15 students and 58 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 82341 for the advisor ID.