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 719902
Faggian, ClaudiaUniversité de la Méditerranée2002
Fleury, ArnaudUniversité Paris Diderot - Paris 71996
Koletsos, GeorgeVictoria University of Manchester19804
Lafont, YvesUniversité Paris Diderot - Paris 719887
Laurent, OlivierUniversité de la Méditerranée20023
Malacaria, PasqualeUniversité Paris Diderot - Paris 719933
Métayer, FrançoisUniversité Paris Diderot - Paris 71994
Paolini, LucaUniversité de la Méditerranée and Università degli Studi di Genova2004
Pedicini, MarcoUniversité Paris Diderot - Paris 71999
Regnier, LaurentUniversity of St. Andrews and Université Paris Diderot - Paris 7199211
Retoré, ChristianUniversité Paris Diderot - Paris 719931
Seiller, ThomasAix-Marseille Université2012

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