Gérard Pierre Huet
Original record- Institution
- Case Western Reserve University
- Year
- 1972
- Country
- United States
- MGP identifier
- 83536
Dissertation: Constrained Resolution: A Complete Method for Higher-Order Logic
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Maurice Paul NivatUniversité Joseph Fourier Grenoble I · 1967
- George ErnstCarnegie Mellon University · 1966
Students 22
| Name | Institution | Year | Students |
|---|---|---|---|
| Bruno Barras | Not recorded | — | 2 |
| Samuel Boutin | Not recorded | — | 0 |
| Loic Colson | Not recorded | — | 2 |
| Thierry Coquand | Not recorded | — | 8 |
| Cristina Cornes | Not recorded | — | 0 |
| Gilles Dowek | Université Paris Diderot - Paris 7 | 1991 | 21 |
| Francois Fages | Not recorded | — | 16 |
| Annie Foret | Not recorded | — | 2 |
| Paul Gloess | Not recorded | — | 3 |
| Jean-Marie Hullot | Not recorded | — | 0 |
| Yves Lafont | Université Paris Diderot - Paris 7 | 1988 | 7 |
| Alain Laville | Not recorded | — | 0 |
| Philippe Le Chenadec | Not recorded | — | 0 |
| Xavier Leroy | Not recorded | — | 9 |
| Bernard Luya | Not recorded | — | 0 |
| Valérie Ménissier-Morain | Not recorded | — | 0 |
| César Muñoz | Université Paris Diderot - Paris 7 | 1997 | 5 |
| Christine Paulin-Mohring | Université Paris Diderot - Paris 7 | 1989 | 14 |
| Benoît Razet | Not recorded | — | 0 |
| Didier Rémy | Not recorded | — | 8 |
| Amokrane Saibi | Not recorded | — | 0 |
| Benjamin Werner | Not recorded | — | 10 |