Gérard Pierre Huet
Ph.D. Case Western Reserve University 1972
Dissertation:
Constrained Resolution: A Complete Method for Higher-Order Logic
Mathematics Subject Classification: 68—Computer science
Advisor 1: George Ernst
Doctorat Es-Sciences Université Paris Diderot - Paris 7 1976
Dissertation:
Résolution d'équations dans des langages d'ordre 1, 2, ..., omega
Advisor 1: Maurice Paul Nivat
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Luya, Bernard | Université Paris Diderot - Paris 7 | 1975 | |
| Hullot, Jean-Marie | Université Paris-Sud XI - Orsay | 1980 | |
| Fages, Francois | Université Paris Diderot - Paris 7 | 1983 | 20 |
| Le Chenadec, Philippe | Université Paris-Sud XI - Orsay | 1983 | |
| Coquand, Thierry | Université Paris Diderot - Paris 7 | 1985 | 19 |
| Lafont, Yves | Université Paris Diderot - Paris 7 | 1988 | 8 |
| Laville, Alain | Université Paris Diderot - Paris 7 | 1988 | |
| Paulin-Mohring, Christine | Université Paris Diderot - Paris 7 | 1989 | 35 |
| Foret, Annie | Université Paris Diderot - Paris 7 | 1990 | 2 |
| Gloess, Paul | Université de Technologie de Compiègne | 1990 | 4 |
| Rémy, Didier | Université Paris Diderot - Paris 7 | 1990 | 14 |
| Colson, Loic | Université Paris Diderot - Paris 7 | 1991 | 2 |
| Dowek, Gilles | Université Paris Diderot - Paris 7 | 1991 | 15 |
| Leroy, Xavier | Université Paris Diderot - Paris 7 | 1992 | 10 |
| Ménissier-Morain, Valérie | Université Paris Diderot - Paris 7 | 1994 | |
| Werner, Benjamin | Université Paris Diderot - Paris 7 | 1994 | 18 |
| Boutin, Samuel | Université Paris Diderot - Paris 7 | 1997 | |
| Cornes, Cristina | Université Paris Diderot - Paris 7 | 1997 | |
| Muñoz, César | Université Paris Diderot - Paris 7 | 1997 | 5 |
| Barras, Bruno | Université Paris Diderot - Paris 7 | 1999 | 2 |
| Saibi, Amokrane | Université Pierre-et-Marie-Curie - Paris VI | 1999 | |
| Razet, Benoît | Université Paris Diderot - Paris 7 | 2009 |
According to our current on-line database, Gérard Huet has 22 students and 142 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 83536 for the advisor ID.