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
Bruno BarrasUniversité Paris Diderot - Paris 719991
Samuel BoutinUniversité Paris Diderot - Paris 71997
Loic ColsonUniversité Paris Diderot - Paris 719911
Thierry CoquandUniversité Paris Diderot - Paris 7198513
Cristina CornesUniversité Paris Diderot - Paris 71997
Gilles DowekUniversité Paris Diderot - Paris 719919
Francois FagesUniversité Paris Diderot - Paris 7198319
Annie ForetUniversité Paris Diderot - Paris 719901
Paul GloessUniversité de Technologie de Compiègne19903
Jean-Marie HullotUniversité Paris-Sud XI - Orsay1980
Yves LafontUniversité Paris Diderot - Paris 719885
Alain LavilleUniversité Paris Diderot - Paris 71988
Philippe Le ChenadecUniversité Paris-Sud XI - Orsay1983
Xavier LeroyUniversité Paris Diderot - Paris 719927
Bernard LuyaUniversité Paris Diderot - Paris 71975
Valérie Ménissier-MorainUniversité Paris Diderot - Paris 71994
César MuñozUniversité Paris Diderot - Paris 719973
Christine Paulin-MohringUniversité Paris Diderot - Paris 7198926
Benoît RazetUniversité Paris Diderot - Paris 72009
Didier RémyUniversité Paris Diderot - Paris 719907
Amokrane SaibiUniversité Pierre-et-Marie-Curie - Paris VI1999
Benjamin WernerUniversité Paris Diderot - Paris 7199412

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