Christine Paulin-Mohring

MathSciNet


Ph.D. Université Paris Diderot - Paris 7 1989 France
Dissertation: Extraction de programmes dans le Calcul des Constructions
Mathematics Subject Classification: 68—Computer science

Advisor: Gérard Pierre Huet

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Alvarado, CuihtlauacUniversité Paris-Sud XI - Orsay2002
Andronick, JuneLaboratoire de Recherche en Informatique-Orsay2006
Corbineau, PierreUniversité Paris-Sud XI - Orsay2005
Delahaye, DavidUniversité Pierre-et-Marie-Curie - Paris VI20012
Filliâtre, Jean-ChristopheUniversité Paris-Sud XI - Orsay19996
Giménez, EduardoÉcole Normale Supérieure de Lyon1996
Kanig, JohannesUniversité Paris-Sud XI - Orsay20101
Letouzey, PierreUniversité Paris-Sud XI - Orsay2004
Loiseleur, PatrickUniversité Paris-Sud XI - Orsay2002
Oury, NicolasUniversité Paris-Sud XI - Orsay2006
Parent, CatherineÉcole Normale Supérieure de Lyon1995
Signoles, JulienUniversité Paris-Sud XI - Orsay2006
Sozeau, MatthieuUniversité Paris-Sud XI - Orsay2008
Werner, BenjaminUniversité Paris Diderot - Paris 7199418

According to our current on-line database, Christine Paulin-Mohring has 14 students and 35 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 128359 for the advisor ID.