Christine Paulin-Mohring
Ph.D. Université Paris Diderot - Paris 7 1989
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.
| Name | School | Year | Descendants |
|---|---|---|---|
| Alvarado, Cuihtlauac | Université Paris-Sud XI - Orsay | 2002 | |
| Andronick, June | Laboratoire de Recherche en Informatique-Orsay | 2006 | |
| Corbineau, Pierre | Université Paris-Sud XI - Orsay | 2005 | |
| Delahaye, David | Université Pierre-et-Marie-Curie - Paris VI | 2001 | 2 |
| Filliâtre, Jean-Christophe | Université Paris-Sud XI - Orsay | 1999 | 6 |
| Giménez, Eduardo | École Normale Supérieure de Lyon | 1996 | |
| Kanig, Johannes | Université Paris-Sud XI - Orsay | 2010 | 1 |
| Letouzey, Pierre | Université Paris-Sud XI - Orsay | 2004 | |
| Loiseleur, Patrick | Université Paris-Sud XI - Orsay | 2002 | |
| Oury, Nicolas | Université Paris-Sud XI - Orsay | 2006 | |
| Parent, Catherine | École Normale Supérieure de Lyon | 1995 | |
| Signoles, Julien | Université Paris-Sud XI - Orsay | 2006 | |
| Sozeau, Matthieu | Université Paris-Sud XI - Orsay | 2008 | |
| Werner, Benjamin | Université Paris Diderot - Paris 7 | 1994 | 18 |
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.