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 listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Baillot, Patrick | Université de la Méditerranée | 1999 | 1 |
| Danos, Vincent | Université Paris Diderot - Paris 7 | 1990 | 7 |
| Faggian, Claudia | Université de la Méditerranée | 2002 | |
| Fleury, Arnaud | Université Paris Diderot - Paris 7 | 1996 | |
| Koletsos, George | Victoria University of Manchester | 1980 | 5 |
| Lafont, Yves | Université Paris Diderot - Paris 7 | 1988 | 8 |
| Laurent, Olivier | Université de la Méditerranée | 2002 | 3 |
| Malacaria, Pasquale | Université Paris Diderot - Paris 7 | 1993 | 3 |
| Métayer, François | Université Paris Diderot - Paris 7 | 1994 | 1 |
| Paolini, Luca | Université de la Méditerranée and Università degli Studi di Genova | 2004 | |
| Pedicini, Marco | Université Paris Diderot - Paris 7 | 1999 | 2 |
| Pistone, Paolo | Università di Roma La Sapienza and Aix-Marseille Université | 2015 | |
| Regnier, Laurent | University of St. Andrews and Université Paris Diderot - Paris 7 | 1992 | 19 |
| Retoré, Christian | Université Paris Diderot - Paris 7 | 1993 | 3 |
| Seiller, Thomas | Aix-Marseille Université | 2012 | 3 |
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.