a person in the record
Xavier Leroy
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; doctoral advisor Gérard Huet on Wikidata; 7 doctoral students on Wikidata.
Advisors
- Gérard Huet1992 · Université Paris 7 · doctoral
Students6
- Nathanaëlle Courant“Towards an efficient and formally-verified convertibility checker”2024 · Université Paris Cité · doctoral
- Basile Clément“Translation validation of tensor compilers”2022 · Université Paris sciences et lettres · doctoral
- Jacques-Henri Jourdan“Verasco: a Formally Verified C Static Analyzer”2016 · Universite Paris Diderot-Paris VII · doctoral
- Tahina Ramananandro“Mechanized Formal Semantics and Verified Compilation for C++ Objects”2012 · Université Paris-Diderot - Paris VII · doctoral
- Zaynah Dargaye“Vérification formelle d'un compilateur optimisant pour langages fonctionnels”2009 · Université Paris-Diderot - Paris VII · doctoral
- Jean-Baptiste Tristan“Formal verification of translation validators”2009 · Université Paris-Diderot - Paris VII · doctoral
Students on Wikidata7
From Wikidata, shown separately from the thesis records.
Theses1
- “Typage polymorphe d'un langage algorithmique”1992 · Université Paris 7 · doctoral
also named on this thesis
- Jean-Pierre Banâtrejury president
- Pierre Casteranjury member
- Guy Cousineaureferee
- Matthias Felleisenreferee
- Gérard Huetjury member
- Gilles Kahnjury member
- Michel Sintzoffjury member
Sat beside the lineage
Theses where they were a committee member, examiner or in another role, not as advisor.
- Josué Moreau“Programming language and formally verified compiler for low-level numerical libraries”jury member · 2025 · Université Paris-Saclay · doctoral
- Basile Pesin“Verified compilation of a synchronous dataflow language with state machines”jury member · 2023 · Université Paris sciences et lettres · doctoral
- Aurèle Barriere“Formal Verification of Just-in-Time Compilation”referee · 2022 · École normale supérieure de Rennes · doctoral
- Denis Merigoux“Proof-oriented domain-specific language design for high-assurance software”jury president · 2021 · Université Paris sciences et lettres · doctoral
- Cyril Six“Optimized and formally-verified compilation for a VLIW processor”referee · 2021 · Université Grenoble Alpes [2020-....] · doctoral
- Lélio Brun“Mechanized semantics and verified compilation for a dataflow synchronous language with reset”jury president · 2020 · Université Paris sciences et lettres · doctoral
- Darius Mercadier“Usuba, Optimizing Bitslicing Compiler”jury member · 2020 · Sorbonne Université · doctoral
- Raphaël Rieu“Development and verification of arbitrary-precision integer arithmetic libraries”jury member · 2020 · Université Paris-Saclay · doctoral
- Mário José Parreira Pereira“Tools and Techniques for the Verification of Modular Stateful Code”jury president · 2018 · Université Paris Saclay (COmUE) · doctoral
- Gabriel Radanne“Tierless web programming in ML”jury member · 2017 · Université Sorbonne Paris Cité · doctoral
- Jacques-Henri Jourdan“Verasco: a Formally Verified C Static Analyzer”jury member · 2016 · Universite Paris Diderot-Paris VII · doctoral
- Paolo Herms“Certification of a Tool Chain for Deductive Program Verification”referee · 2013 · Université Paris Sud - Paris XI · doctoral
- Xiaomu Shi“Certification of an Instruction Set Simulator”jury member · 2013 · Université de Grenoble · doctoral
- Pierre-Nicolas Tollitte“Extraction de code fonctionnel certifié à partir de spécifications inductives”jury president · 2013 · Conservatoire national des arts et metiers - CNAM · doctoral
- Delphine Demange“Semantic foundations of intermediate program representations”referee · 2012 · École normale supérieure de Cachan - ENS Cachan · doctoral
- 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
- Tahina Ramananandro“Mechanized Formal Semantics and Verified Compilation for C++ Objects”jury member · 2012 · Université Paris-Diderot - Paris VII · doctoral
- 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
- Benoit Robillard“Verification formelle et optimisation de l’allocation de registres”jury president · 2010 · Conservatoire national des arts et metiers - CNAM · doctoral
- 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
- Zaynah Dargaye“Vérification formelle d'un compilateur optimisant pour langages fonctionnels”jury member · 2009 · Université Paris-Diderot - Paris VII · doctoral
- César Kunz“Proof preservation and program compilation”referee · 2009 · École Nationale Supérieure des Mines de Paris · doctoral
- Xavier Rival“Abstraction de traces en analyse statique et transformation de programmes.”jury member · 2005 · Ecole Polytechnique X · doctoral
- Pierre Letouzey“Programmation fonctionnelle certifiée : <br />L'extraction de programmes dans l'assistant Coq”jury president · 2004 · Université Paris Sud - Paris XI · doctoral
- Francesco Logozzo“Analyse statique modulaire des langages à objet.”jury president · 2004 · Ecole Polytechnique X · doctoral
- 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
Cite this page
The record changes as sources are read again, so a citation says when the page was read.
bibtex
@misc{academicancestry_Q3570727,
author = {{Academic Ancestry}},
title = {{Xavier Leroy: advisors and students}},
year = {2026},
url = {https://academicancestry.org/person/Q3570727},
note = {read on 2026-10-16}
}apa
Academic Ancestry. (2026, October 16). Xavier Leroy: Advisors and students [Read on 2026-10-16]. https://academicancestry.org/person/Q3570727