Jean-Yves Girard
Ph.D. Université Denis Diderot - Paris VII 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 |
|---|---|---|---|
| Patrick Baillot | Université de la Méditerranée - aix-Marseille II | 1999 | 1 |
| Vincent Danos | Université Denis Diderot - Paris VII | 1990 | 1 |
| Claudia Faggian | Université de la Méditerranée - aix-Marseille II | 2002 | |
| Arnaud Fleury | Université Denis Diderot - Paris VII | 1996 | |
| George Koletsos | University of Manchester | 1980 | 3 |
| Yves Lafont | Université Denis Diderot - Paris VII | 1988 | 4 |
| Olivier Laurent | Université de la Méditerranée - aix-Marseille II | 2002 | 2 |
| Pasquale Malacaria | Université Denis Diderot - Paris VII | 1993 | |
| Luca Paolini | Université de la Méditerranée - aix-Marseille II and Università degli Studi di Genova | 2004 | |
| Marco Pedicini | Université Denis Diderot - Paris VII | 1999 | |
| Laurent Regnier | University of St. Andrews / Université Denis Diderot - Paris VII | 1992 | 7 |
| Christian Retoré | Université Paris VII | 1993 | |
| Thomas Seiller | Université Aix-Marseille | 2012 |
According to our current on-line database, Jean-Yves Girard has 13 students and 24 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.