a person in the record
Gérard Huet
French computer scientistborn 1947
Supervised 6 doctoral students at Université Paris-Diderot - Paris VII, Université paris 7 - paris diderot, and Université Pierre et Marie Curie - Paris VI; Wikidata names Maurice Nivat as doctoral advisor, lists 18 doctoral students, names George Ernst as teacher, and lists 1 person they taught. Linked to Wikidata, Google Scholar, and 7 other registers.

How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Students6
- cited by a thesis record2009 · Université Paris-Diderot - Paris VII · doctoral
- cited by a thesis recordstated by Wikidata
Bruno Barras“Auto-validation d'un système de preuves avec familles inductives”
1999 · Université paris 7 - paris diderot · doctoral - cited by a thesis record
Amokrane Saibi“Outils Génériques de Modélisation et de Démonstration pour la Formalisation des Mathématiques en Théorie des Types. Application à la Théorie des Catégories.”
1999 · Université Pierre et Marie Curie - Paris VI · doctoral - cited by a thesis recordstated by Wikidata1992 · Université Paris 7 · doctoral
- cited by a thesis recordstated by Wikidata
Gilles Dowek“Démonstration Automatique dans le Calcul des Constructions”
1991 · Université de Paris 7 - Denis Diderot · doctoral - cited by a thesis recordstated by Wikidata
Christine Paulin-Mohring“Extraction de programmes dans le Calcul des Constructions”
1989 · Université Paris-Diderot - Paris VII · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
Students on Wikidata18
From Wikidata, shown separately from the thesis records.
- stated by Wikidataborn 1954
- stated by Wikidataborn 1959
- stated by Wikidataborn 1961
- stated by Wikidataborn 1961
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
Teachers and mentors1
Wikidata's "student of" and "student" statements: a line of training beside the lineage, never a thesis supervision and never counted with one.
- a teacher or mentor, stated by Wikidata: not a thesis supervision
Taught1
Wikidata's "student of" and "student" statements: a line of training beside the lineage, never a thesis supervision and never counted with one.
- a teacher or mentor, stated by Wikidata: not a thesis supervision
The line above and below4 steps
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
stated by WikidataMaurice Nivat
- 2 steps up
stated by WikidataMarcel-Paul Schützenberger
- 3 steps up
stated by WikidataAlbert Châteletstated by WikidataGeorges Darmois
- 4 steps up
stated by WikidataJules Tannerystated by WikidataÉdouard Goursat
Below them, within 3 steps, the record reaches 165 people: 43 cited by thesis records, 131 stated by Wikidata.
Education and career6
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- until 1976studied
- undatedstudied
- undated
- undated
- undatedworked
- undatedworked
Sat beside the lineage11
jury member, jury president, or referee, not advisor
- cited by a thesis record
Jiaxiang Liu“Confluence properties of rewrite rules by decreasing diagrams”
jury member · 2016 · Université Paris Saclay (COmUE) · doctoral - cited by a thesis record
Mathieu Morey“Étiquetage grammatical symbolique et interface syntaxe-sémantique des formalismes grammaticaux lexicalisés polarisés”
jury member · 2011 · Université de Lorraine · doctoral - cited by a thesis recordjury president · 2008 · Ecole Polytechnique X · doctoral
- cited by a thesis record
Thévenon Patrick“Vers un assistant à la preuve en langue naturelle”
jury member · 2006 · Université de Savoie · doctoral - cited by a thesis record
Virgile Prévosto“Conception et implantation du langage FoC pour le développement de logiciels certifiés”
jury member · 2003 · Université Pierre et Marie Curie - Paris VI · doctoral - cited by a thesis record
Sylvain Pogodalla“Réseaux de preuve et génération pour les grammaires de types logiques”
referee · 2001 · Institut National Polytechnique de Lorraine · doctoral - cited by a thesis record
Georges Mounier“an intuitionistic lambda calculus with exceptions”
jury president · 1999 · Université de Savoie · doctoral - cited by a thesis record
Hugo Herbelin“Séquents qu'on calcule: de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes”
jury president · 1995 · Université Paris-Diderot - Paris VII · doctoral - cited by a thesis recordjury member · 1994 · Université Paris-Diderot - Paris VII · doctoral
- cited by a thesis recordjury member · 1992 · Université Paris 7 · doctoral
- cited by a thesis record
Christine Paulin-Mohring“Extraction de programmes dans le Calcul des Constructions”
jury member · 1989 · Université Paris-Diderot - Paris VII · doctoral