Jean-Yves Girard

MathSciNet


Ph.D. Université Paris Diderot - Paris 7 1972 France
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.

NameSchoolYearDescendants
Baillot, PatrickUniversité de la Méditerranée19991
Danos, VincentUniversité Paris Diderot - Paris 719904
Faggian, ClaudiaUniversité de la Méditerranée2002
Fleury, ArnaudUniversité Paris Diderot - Paris 71996
Koletsos, GeorgeVictoria University of Manchester19805
Lafont, YvesUniversité Paris Diderot - Paris 719888
Laurent, OlivierUniversité de la Méditerranée20023
Malacaria, PasqualeUniversité Paris Diderot - Paris 719933
Métayer, FrançoisUniversité Paris Diderot - Paris 719941
Paolini, LucaUniversité de la Méditerranée and Università degli Studi di Genova2004
Pedicini, MarcoUniversité Paris Diderot - Paris 719992
Pistone, PaoloUniversità di Roma La Sapienza and Aix-Marseille Université2015
Regnier, LaurentUniversity of St. Andrews and Université Paris Diderot - Paris 7199217
Retoré, ChristianUniversité Paris Diderot - Paris 719933
Seiller, ThomasAix-Marseille Université20121

According to our current on-line database, Jean-Yves Girard has 15 students and 54 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.