a person in the record
Xavier Leroy
French computer scientist and programmerborn 1968
Supervised 6 doctoral students at Université Paris-Diderot - Paris VII, Université Paris Cité, and Université Paris sciences et lettres; doctorate at Université Paris 7 in 1992 under Gérard Huet; Wikidata lists 6 doctoral students. Linked to Wikidata, ORCID, 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
Advisors1
- cited by a thesis recordstated by Wikidata
Gérard Huet“Typage polymorphe d'un langage algorithmique”
1992 · Université Paris 7 · doctoral
Students6
- cited by a thesis record
Nathanaëlle Courant“Towards an efficient and formally-verified convertibility checker”
2024 · Université Paris Cité · doctoral - cited by a thesis record2022 · Université Paris sciences et lettres · doctoral
- cited by a thesis recordstated by Wikidata
Jacques-Henri Jourdan“Verasco: a Formally Verified C Static Analyzer”
2016 · Universite Paris Diderot-Paris VII · doctoral - cited by a thesis record
Tahina Ramananandro“Mechanized Formal Semantics and Verified Compilation for C++ Objects”
2012 · Université Paris-Diderot - Paris VII · doctoral - cited by a thesis record
Zaynah Dargaye“Vérification formelle d'un compilateur optimisant pour langages fonctionnels”
2009 · Université Paris-Diderot - Paris VII · doctoral - cited by a thesis record
Jean-Baptiste Tristan“Formal verification of translation validators”
2009 · Université Paris-Diderot - Paris VII · 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 15 people: 7 cited by thesis records, 9 stated by Wikidata.
Theses1
- cited by a thesis record
Typage polymorphe d'un langage algorithmique
1992 · Université Paris 7 · doctoral · in French · the thesis's own page ›also named on this thesis
- cited by a thesis recordGérard Huetjury member
- cited by a thesis recordJean-Pierre Banâtrejury president
- cited by a thesis recordPierre Casteranjury member
- cited by a thesis recordGuy Cousineaureferee
- cited by a thesis recordMatthias Felleisenreferee
- cited by a thesis recordGilles Kahnjury member
- cited by a thesis recordMichel Sintzoffjury member
Education and career6
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- 1994 to 2018
- undatedstudied
- undatedstudied
- undatedworked
- undatedworked
- undated
Works1
1992 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Typage polymorphe d'un langage algorithmique
1992 · 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 lineage26
jury member, referee, or jury president, not advisor
- cited by a thesis record
Josué Moreau“Programming language and formally verified compiler for low-level numerical libraries”
jury member · 2025 · Université Paris-Saclay · doctoral - cited by a thesis record
Basile Pesin“Verified compilation of a synchronous dataflow language with state machines”
jury member · 2023 · Université Paris sciences et lettres · doctoral - cited by a thesis record
Aurèle Barriere“Formal Verification of Just-in-Time Compilation”
referee · 2022 · École normale supérieure de Rennes · doctoral - cited by a thesis record
Cyril Six“Optimized and formally-verified compilation for a VLIW processor”
referee · 2021 · Université Grenoble Alpes [2020-....] · doctoral - cited by a thesis record
Denis Merigoux“Proof-oriented domain-specific language design for high-assurance software”
jury president · 2021 · Université Paris sciences et lettres · doctoral - cited by a thesis record
Lélio Brun“Mechanized semantics and verified compilation for a dataflow synchronous language with reset”
jury president · 2020 · Université Paris sciences et lettres · doctoral - cited by a thesis recordjury member · 2020 · Sorbonne Université · doctoral
- cited by a thesis record
Raphaël Rieu“Development and verification of arbitrary-precision integer arithmetic libraries”
jury member · 2020 · Université Paris-Saclay · doctoral - cited by a thesis record
Mário José Parreira Pereira“Tools and Techniques for the Verification of Modular Stateful Code”
jury president · 2018 · Université Paris Saclay (COmUE) · doctoral - cited by a thesis recordjury member · 2017 · Université Sorbonne Paris Cité · doctoral
- cited by a thesis record
Jacques-Henri Jourdan“Verasco: a Formally Verified C Static Analyzer”
jury member · 2016 · Universite Paris Diderot-Paris VII · doctoral - cited by a thesis record
Paolo Herms“Certification of a Tool Chain for Deductive Program Verification”
referee · 2013 · Université Paris Sud - Paris XI · doctoral - cited by a thesis recordjury member · 2013 · Université de Grenoble · doctoral
- cited by a thesis record
Pierre-Nicolas Tollitte“Extraction de code fonctionnel certifié à partir de spécifications inductives”
jury president · 2013 · Conservatoire national des arts et metiers - CNAM · doctoral - cited by a thesis record
Delphine Demange“Semantic foundations of intermediate program representations”
referee · 2012 · École normale supérieure de Cachan - ENS Cachan · doctoral - cited by a thesis record
Thi Minh Tuyen Nguyen“Taking architecture and compiler into account in formal proofs of numerical programs”
jury member · 2012 · Université Paris Sud - Paris XI · doctoral - cited by a thesis record
Tahina Ramananandro“Mechanized Formal Semantics and Verified Compilation for C++ Objects”
jury member · 2012 · Université Paris-Diderot - Paris VII · doctoral - cited by a thesis record
Pierre Garcia“Validation fonctionnelle d'une nouvelle stratégie thérapeutique prévenant la dégénérescence et les troubles cognitifs associés dans des modèles murins de la Maladie d'Alzheimer”
jury member · 2011 · Institut National Polytechnique de Lorraine · doctoral - cited by a thesis record
Benoit Robillard“Verification formelle et optimisation de l’allocation de registres”
jury president · 2010 · Conservatoire national des arts et metiers - CNAM · doctoral - cited by a thesis record
Elie Soubiran“Développement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq.”
referee · 2010 · Ecole Polytechnique X · doctoral - cited by a thesis record
Zaynah Dargaye“Vérification formelle d'un compilateur optimisant pour langages fonctionnels”
jury member · 2009 · Université Paris-Diderot - Paris VII · doctoral - cited by a thesis recordreferee · 2009 · École Nationale Supérieure des Mines de Paris · doctoral
- cited by a thesis record
Xavier Rival“Abstraction de traces en analyse statique et transformation de programmes.”
jury member · 2005 · Ecole Polytechnique X · doctoral - cited by a thesis record
Pierre Letouzey“Programmation fonctionnelle certifiée : <br />L'extraction de programmes dans l'assistant Coq”
jury president · 2004 · Université Paris Sud - Paris XI · doctoral - cited by a thesis record
Francesco Logozzo“Analyse statique modulaire des langages à objet.”
jury president · 2004 · Ecole Polytechnique X · doctoral - cited by a thesis record
Benoît Sonntag“La puissance des prototypes à l'assaut des systèmes d'exploitation : ISAAC/LISAAC : introduction de concepts objets au coeur même des systèmes d'exploitation”
referee · 2003 · Université Henri Poincaré - Nancy 1 · doctoral