Gérard Pierre Huet


Ph.D. Case Western Reserve University 1972 UnitedStates
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 France
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 listed in chronological order.

NameSchoolYearDescendants
Barras, BrunoUniversité Paris Diderot - Paris 719991
Boutin, SamuelUniversité Paris Diderot - Paris 71997
Colson, LoicUniversité Paris Diderot - Paris 719912
Coquand, ThierryUniversité Paris Diderot - Paris 7198515
Cornes, CristinaUniversité Paris Diderot - Paris 71997
Dowek, GillesUniversité Paris Diderot - Paris 719919
Fages, FrancoisUniversité Paris Diderot - Paris 7198319
Foret, AnnieUniversité Paris Diderot - Paris 719901
Gloess, PaulUniversité de Technologie de Compiègne19904
Hullot, Jean-MarieUniversité Paris-Sud XI - Orsay1980
Lafont, YvesUniversité Paris Diderot - Paris 719887
Laville, AlainUniversité Paris Diderot - Paris 71988
Le Chenadec, PhilippeUniversité Paris-Sud XI - Orsay1983
Leroy, XavierUniversité Paris Diderot - Paris 719929
Luya, BernardUniversité Paris Diderot - Paris 71975
Ménissier-Morain, ValérieUniversité Paris Diderot - Paris 71994
Muñoz, CésarUniversité Paris Diderot - Paris 719973
Paulin-Mohring, Christine Université Paris Diderot - Paris 7198928
Razet, BenoîtUniversité Paris Diderot - Paris 72009
Rémy, DidierUniversité Paris Diderot - Paris 7199013
Saibi, AmokraneUniversité Pierre-et-Marie-Curie - Paris VI1999
Werner, BenjaminUniversité Paris Diderot - Paris 7199413

According to our current on-line database, Gérard Huet has 22 students and 121 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.