a person in the record
Frédéric Blanqui
Ph.D. Université Paris-Sud XI - Orsay 2001
Supervised 7 doctoral students at Université Paris-Saclay, Université de Grenoble, and Institut National Polytechnique de Lorraine between 2007 and 2026; doctorate at Université Paris Sud - Paris XI in 2001 under Jean-Pierre Jouannaud; Wikidata lists 1 doctoral student. Linked to Wikidata, ORCID, and 4 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Theses1
- cited by a thesis record
Théorie des types et réécriture
2001 · Université Paris Sud - Paris XI · doctoral · in French · the thesis's own page ›also named on this thesis
- cited by a thesis recordGilles Dowekjury president
- cited by a thesis recordJean-Pierre Jouannaudjury member
- cited by a thesis recordThierry Coquandjury member
- cited by a thesis recordHerman Geuversjury member
- cited by a thesis recordChristine Paulinjury member
- cited by a thesis recordMiklos Santhajury member
Advisors1
- cited by a thesis recordstated by Wikidata
Jean-Pierre Jouannaud“Théorie des types et réécriture”
2001 · Université Paris Sud - Paris XI · doctoral
Students7
- cited by a thesis record2026 · 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
Yacine El Haddad“Integrating Automated Theorem Provers in Proof Assistants”
2021 · Université Paris-Saclay · doctoral - cited by a thesis record
Guillaume Genestier“Dependently-Typed Termination and Embedding of Extensional Universe-Polymorphic Type Theory using Rewriting”
2020 · Université Paris-Saclay · doctoral - cited by a thesis record
Kim Quyen Ly“Automated verification of termination certificates”
2014 · Université de Grenoble · doctoral - cited by a thesis record
Colin Riba“Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage”
2007 · Institut National Polytechnique de Lorraine · doctoral
Students on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidataborn 1984
The line above and below1 step
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 WikidataJean-Pierre Jouannaud
Below them, within 3 steps, the record reaches 8 people: 7 cited by thesis records, 1 stated by Wikidata.
Education and career2
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undatedstudied
- undated
Works1
2001 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Théorie des types et réécriture
2001 · 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 lineage5
referee, jury member, or jury president, not advisor
- cited by a thesis recordreferee · 2025 · Université de Montpellier · doctoral
- cited by a thesis record
Thibault Hilaire“Algorithmes de couverture pour les réseaux de Petri certifiés en Coq”
referee · 2024 · Université de Bordeaux · doctoral - cited by a thesis record
Hans-Jörg Schurr“Stronger SMT Solvers for Proof Assistants : Proofs, Quantifier Simplification, Strategy Schedules”
jury president · 2022 · Université de Lorraine · doctoral - cited by a thesis record
Rodolphe Lepigre“Semantics and implementation of an extension of ML for proving programs”
jury member · 2017 · Université Grenoble Alpes · doctoral - cited by a thesis recordjury member · 2008 · Ecole Polytechnique X · doctoral