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 VII 1976
Dissertation:
Résolution d'équations dans des langages d'ordre 1, 2, ..., omega
Advisor 1: Maurice Paul Nivat
Student(s):
Click
here to see the students listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Bruno Barras | Université Paris VII | 1999 | |
| Samuel Boutin | Université Paris VII | 1997 | |
| Loic Colson | Université Paris VII | 1991 | |
| Thierry Coquand | Université Paris VII | 1985 | 9 |
| Cristina Cornes | Université Paris VII | 1997 | |
| Gilles Dowek | Université Denis Diderot - Paris VII | 1991 | 4 |
| Francois Fages | Université Paris VII | 1983 | 18 |
| Annie Foret | Université Paris VII | 1990 | 1 |
| Paul Gloess | Université de Technologie de Compiègne | 1990 | 3 |
| Jean-Marie Hullot | Université Paris XI | 1980 | |
| Yves Lafont | Université Denis Diderot - Paris VII | 1988 | 4 |
| Alain Laville | Université Paris VII | 1988 | |
| Philippe Le Chenadec | Université Paris XI | 1983 | |
| Xavier Leroy | Université Paris VII | 1992 | 5 |
| Bernard Luya | Université Paris VII | 1975 | |
| Valérie Ménissier-Morain | Université Paris VII | 1994 | |
| Christine Paulin-Mohring | Université Denis Diderot - Paris VII | 1989 | 16 |
| Benoît Razet | Université Denis Diderot - Paris VII | 2009 | |
| Didier Rémy | Université Paris VII | 1990 | 7 |
| Amokrane Saibi | Université Paris VI | 1999 | |
| Benjamin Werner | Université Paris VII | 1994 | 4 |
According to our current on-line database, Gérard Huet has 21 students and 85 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.