Gérard Pierre Huet

MathSciNet


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 719992
Boutin, SamuelUniversité Paris Diderot - Paris 71997
Colson, LoicUniversité Paris Diderot - Paris 719912
Coquand, ThierryUniversité Paris Diderot - Paris 7198517
Cornes, CristinaUniversité Paris Diderot - Paris 71997
Dowek, GillesUniversité Paris Diderot - Paris 7199110
Fages, FrancoisUniversité Paris Diderot - Paris 7198320
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 7198931
Razet, BenoîtUniversité Paris Diderot - Paris 72009
Rémy, DidierUniversité Paris Diderot - Paris 7199014
Saibi, AmokraneUniversité Pierre-et-Marie-Curie - Paris VI1999
Werner, BenjaminUniversité Paris Diderot - Paris 7199416

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