a person in the record
Gilles Dowek
French computer scientist1966 to 2025
Supervised 18 doctoral students at Université Paris-Saclay, Ecole Polytechnique X, and École polytechnique; doctorate at Université de Paris 7 - Denis Diderot in 1991 under Gérard Huet; Wikidata lists 6 doctoral students. Linked to Wikidata, ORCID, and 8 other registers.

How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors1
- cited by a thesis recordstated by Wikidata
Gérard Huet“Démonstration Automatique dans le Calcul des Constructions”
1991 · Université de Paris 7 - Denis Diderot · doctoral
Students18
- cited by a thesis record2026 · Université de Lorraine · doctoral
- cited by a thesis record
Luc Chabassier“Aspects of category theory in proof assistants”
2025 · Université Paris-Saclay · doctoral - cited by a thesis record2025 · Université Paris-Saclay · doctoral
- cited by a thesis record
Louise Dubois de Prisque“Prétraitement compositionnel en Coq”
2024 · Université Paris-Saclay · doctoral - cited by a thesis record
Thiago Felicissimo“Generic bidirectional typing in a logical framework for dependent type theories”
2024 · Université Paris-Saclay · doctoral - cited by a thesis record
Gabriel Hondet“Expressing predicate subtyping in computational logical frameworks”
2022 · Université Paris-Saclay · doctoral - cited by a thesis record
Gaspard Ferey“Higher-Order Confluence and Universe Embedding in the Logical Framework”
2021 · Université Paris-Saclay · doctoral - cited by a thesis record
François Thiré“Interoperability between proof systems using the logical framework Dedukti”
2020 · Université Paris-Saclay · doctoral - cited by a thesis record
Guillaume Bury“Integrating rewriting, tableau and superposition into SMT”
2019 · Université Sorbonne Paris Cité · doctoral - cited by a thesis record
Frédéric Gilbert“Extending higher-order logic with predicate subtyping : application to PVS”
2018 · Université Sorbonne Paris Cité · doctoral - cited by a thesis record
Ali Assaf“A framework for defining computational higher-order logics”
2015 · École polytechnique · doctoral - cited by a thesis record
Bruno Bernardo“Un Calcul des Constructions implicite avec sommes dépendantes et à inférence de type décidable.”
2015 · École polytechnique · doctoral - cited by a thesis record
Simon Cruanes“Extending Superposition with Integer Arithmetic, Structural Induction, and Beyond”
2015 · École polytechnique · doctoral - cited by a thesis record2015 · Paris Diderot · doctoral
- cited by a thesis record
Pierre Neron“A Quest for Exactness: Program Transformation for Reliable Real Numbers”
2013 · Ecole Polytechnique X · doctoral - cited by a thesis record
Mathieu Boespflug“Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo”
2011 · Ecole Polytechnique X · doctoral - cited by a thesis recordstated by Wikidata2009 · Ecole Polytechnique X · doctoral
- cited by a thesis recordstated by Wikidata2007 · Ecole Polytechnique X · doctoral
Students on Wikidata6
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
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
cited by a thesis recordstated by WikidataGérard Huet
- 2 steps up
stated by WikidataMaurice Nivat
- 3 steps up
stated by WikidataMarcel-Paul Schützenberger
- 4 steps up
stated by WikidataAlbert Châteletstated by WikidataGeorges Darmois
Below them, within 3 steps, the record reaches 27 people: 19 cited by thesis records, 10 stated by Wikidata.
Theses1
- cited by a thesis record
Démonstration Automatique dans le Calcul des Constructions
1991 · Université de Paris 7 - Denis Diderot · doctoral · Info-Maths (EDA 512) · in French · the thesis's own page ›also named on this thesis
- cited by a thesis recordDominique Perrinjury member
Education and career2
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undatedstudied
- undatedstudied
Works1
1991 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Démonstration Automatique dans le Calcul des Constructions
1991 · doctoral thesis · HAL/TEL OAI
What their ORCID record lists
The works their own ORCID record lists, as they claim them: shown apart from the record's works, never checked or counted with them.
ORCID is asked for the list when this part is opened.
Sat beside the lineage40
jury member, referee, or jury president, not advisor
- cited by a thesis record
Julie Cailler“Designing an Automated Concurrent Tableau-Based Theorem Prover for First-Order Logic”
referee · 2023 · Université de Montpellier · doctoral - cited by a thesis record
Matthieu Branthome“Apprentissage de la programmation informatique : analyses et ressources pour accompagner la transition collège-lycée”
jury member · 2023 · Université de Bretagne occidentale - Brest · doctoral - cited by a thesis record
Matteo Manighetti“Developing proof theory for proof exchange”
jury president · 2023 · Institut Polytechnique de Paris · doctoral - cited by a thesis record
Julien Girard-Satabin“Verification and validation of Machine Learning techniques”
jury president · 2021 · Université Paris-Saclay · doctoral - cited by a thesis record
Théo Winterhalter“Formalisation and Meta-Theory of Type Theory”
jury president · 2020 · Université de Nantes · doctoral - cited by a thesis record
Ulysse Gerard“Computing with relations, functions, and bindings”
jury president · 2019 · Institut Polytechnique de Paris · doctoral - cited by a thesis record
Pierre Boutry“On the formalization of foundations of geometry”
jury president · 2018 · Université de Strasbourg · doctoral - cited by a thesis recordjury member · 2018 · Université Paris Saclay · doctoral
- cited by a thesis record
Roberto Blanco Martínez“Applications of Foundational Proof Certificates in theorem proving”
jury president · 2017 · Université Paris Saclay (COmUE) · doctoral - cited by a thesis recordreferee · 2017 · Université de Lorraine · doctoral
- cited by a thesis recordjury member · 2016 · Université Paris-Diderot · doctoral
- cited by a thesis record
Raphaël Cauderlier“Object-Oriented Mechanisms for Interoperability between Proof Systems”
jury member · 2016 · Conservatoire National Des Arts et Métiers, Paris · doctoral - cited by a thesis record
Ali Assaf“A framework for defining computational higher-order logics”
jury member · 2015 · École polytechnique · doctoral - cited by a thesis record
Yoann Marquer“Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif ou polynomial”
referee · 2015 · Université Paris-Est · doctoral - cited by a thesis record
Simon Martiel“Algorithmical and mathematical approaches of causal graph dynamics”
jury member · 2015 · Université Nice Sophia Antipolis · doctoral - cited by a thesis record
Zizhu Wang“Nonlocality of symmetric states and its applications in quantum information”
referee · 2013 · Télécom ParisTech · doctoral - cited by a thesis record
Vincent Demange“Vers un calcul des constructions pédagogique”
referee · 2012 · Université de Lorraine · doctoral - cited by a thesis recordreferee · 2011 · Université de Grenoble · doctoral
- cited by a thesis record
Mathieu Boespflug“Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo”
jury member · 2011 · Ecole Polytechnique X · doctoral - cited by a thesis record
Benoît Montagu“Programming with first-class modules in a core language with subtyping, singleton kinds and open existential types”
jury president · 2010 · Ecole Polytechnique X · doctoral - cited by a thesis record
Danko Ilik“Constructive Completeness Proofs and Delimited Control”
jury member · 2010 · Ecole Polytechnique X · doctoral - cited by a thesis record
Agathe Chollet“Formalismes non classiques pour le traitement informatique de la topologie et de la géométrie discrète”
referee · 2010 · Université de La Rochelle · doctoral - cited by a thesis record
Clément Houtmann“Représentation et interaction des preuves en superdéduction modulo”
referee · 2010 · Université Henri Poincaré - Nancy I · doctoral - cited by a thesis record
Eric Jaeger“Study of the Benefits of Using Deductive Formal Methods for Secure Developments”
referee · 2010 · Université Pierre et Marie Curie - Paris VI · doctoral - cited by a thesis record
Florian Richoux“Toward a complexity classification of CSP through kernel width”
jury member · 2009 · Ecole Polytechnique X · doctoral - cited by a thesis recordreferee · 2009 · Université Henri Poincaré - Nancy 1 · doctoral
- cited by a thesis record
David Michel“Systèmes formels et systèmes fonctionnels pédagogiques”
jury member · 2008 · Université Paul Verlaine - Metz · doctoral - cited by a thesis record
Germain Faure“Structures et modèles de calculs de réécriture”
referee · 2007 · Université Henri Poincaré - Nancy 1 · doctoral - cited by a thesis record
Thomas Deneux“Hemodynamic Models: Investigation and Application to Brain Imaging Analysis”
jury member · 2006 · Ecole Polytechnique X · doctoral - cited by a thesis record
Stéphane Lengrand“Normalisation & Equivalence in Proof Theory & Type Theory”
jury member · 2006 · Université Paris-Diderot - Paris VII · doctoral - cited by a thesis recordreferee · 2006 · Université de Savoie · doctoral
- cited by a thesis record
Mnacho Echenim“Déduction et Unification dans les Théories Permutatives”
referee · 2005 · Institut National Polytechnique de Grenoble - INPG · doctoral - cited by a thesis record
Steve Y. Oudot“Sampling and Meshing Surfaces with Guarantees”
jury member · 2005 · Ecole Polytechnique X · doctoral - cited by a thesis record
Benjamin Wack“Typage et déduction dans le calcul de réécriture”
referee · 2005 · Université Henri Poincaré - Nancy 1 · doctoral - cited by a thesis recordjury member · 2004 · Ecole Polytechnique X · doctoral
- cited by a thesis record
Charles Hymans“Vérification de descriptions VHDL par interprétation abstraite.”
jury member · 2004 · Ecole Polytechnique X · doctoral - cited by a thesis record
Quang Huy Nguyen“Calcul de réécriture et automatisation du raisonnement dans les assistants de preuve”
referee · 2002 · Université Henri Poincaré - Nancy 1 · doctoral - cited by a thesis recordjury president · 2001 · Université Paris Sud - Paris XI · doctoral
- cited by a thesis record
Dominique Larchey-Wendling“Preuves, réfutations et contre-modèles dans des logiques intuitionnistes”
jury member · 2000 · Université Henri Poincaré - Nancy 1 · doctoral - cited by a thesis record
Georges Mounier“an intuitionistic lambda calculus with exceptions”
jury member · 1999 · Université de Savoie · doctoral