a person in the record
David Monniaux
Supervised 7 doctoral students at Université Grenoble Alpes, Université Grenoble Alpes [2020-....], and Université de Grenoble; doctorate at Université Paris Dauphine - Paris IX in 2001 under Patrick Cousot; doctoral advisor Patrick Cousot on Wikidata.
Advisors
- Patrick Cousot2001 · Université Paris Dauphine - Paris IX · doctoral
Students7
- Cyril Six“Optimized and formally-verified compilation for a VLIW processor”2021 · Université Grenoble Alpes [2020-....] · doctoral
- Valentin Touzeau“Static analysis of least recently used caches : complexity, optimal analysis, and applications to worst-case execution time and security”2019 · Université Grenoble Alpes · doctoral
- Hang Yu“Towards an Efficient Parallel Parametric Linear Programming Solver”2019 · Université Grenoble Alpes · doctoral
- Egor George Karpenkov“Finding inductive invariants using satisfiability modulo theories and convex optimization”2017 · Université Grenoble Alpes · doctoral
- Alexandre Maréchal“New Algorithmics for Polyhedral Calculus via Parametric Linear Programming”2017 · Université Grenoble Alpes · doctoral
- Alexis Fouilhé“Revisiting the abstract domain of polyhedra : constraints-only representation and formal proof”2015 · Université Grenoble Alpes · doctoral
- Julien Henry“Analyse statique par interprétation abstraite et procédures de décision”2014 · Université de Grenoble · doctoral
Theses1
- “Analysis of probabilistic programs by abstract interpretation”2001 · Université Paris Dauphine - Paris IX · doctoral
also named on this thesis
- Neil Jonesjury president
- Alain Lichnewskyjury member
- Prakash Panangadenreferee
- Vangelis Paschosjury member
- David Sandsreferee
- Alain Trouvéreferee
Sat beside the lineage
Theses where they were a committee member, examiner or in another role, not as advisor.
- Herinomena Henintsoa Andrianatrehina“Mitigating spectre vulnerabilites in modern out-of-order cores”jury member · 2026 · Université de Rennes · doctoral
- Guillaume Bertholon“Interactive compilation via trustworthy source-to-source transformations”referee · 2025 · Université de Strasbourg · doctoral
- Peio Borthelle“Operational Game Semantics in Type Theory”jury president · 2025 · Université Savoie Mont Blanc · doctoral
- Quentin Canu“Formalization of efficient polyhedral computations”referee · 2025 · Université Paris-Saclay · doctoral
- Simon Tollec“Formal verification of processor microarchitecture to analyze system security against fault attacks”jury member · 2024 · Université Paris-Saclay · doctoral
- Guillaume Didier“Studying hardware prefetchers using cache side channels”jury president · 2023 · Université Paris sciences et lettres · doctoral
- Julien Braine“The Data-abstraction Framework : abstracting unbounded data-structures in Horn clauses, the case of arrays”jury member · 2022 · Université de Lyon · doctoral
- Hugo Pompougnac“Spécification et compilation de réseaux de neurones embarqués”referee · 2022 · Sorbonne Université · doctoral
- Dorra Ben Khalifa“Fast and efficient bit-level precision tuning”referee · 2021 · Université de Perpignan · doctoral
- Nicolas Bordes“Security of symmetric primitives and their implementations”jury president · 2021 · Université Grenoble Alpes [2020-....] · doctoral
- Pierre-Léo Bégay“Developing and certifying in Coq/MathComp of Datalog optimizations for network verification”jury president · 2021 · Université Grenoble Alpes [2020-....] · doctoral
- Mathieu Escouteloup“Garantir l’isolation microarchitecturale des processeurs”referee · 2021 · Université de Rennes · doctoral
- Tiago Trevisan Jost“Compilation and optimizations for variable precision floating-Point arithmetic : from language and libraries to code generation”jury president · 2021 · Université Grenoble Alpes [2020-....] · doctoral
- Xiaojie Guo“Certified Tools for Schedulability Analyses”jury president · 2020 · Université Grenoble Alpes [2020-....] · doctoral
- Yanis Sellami“Abductive reasoning modulo theories and an application to program verification”jury president · 2020 · Université Grenoble Alpes [2020-....] · doctoral
- Thibault Suzanne“Vérification par interprétation abstraite en mémoire faiblement cohérente”referee · 2019 · Université Paris sciences et lettres · doctoral
- Julien Henry“Static Analysis by Abstract Interpretation and Decision Procedures”jury member · 2014 · Université de Grenoble · doctoral
- Pierre Neron“A Quest for Exactness: Program Transformation for Reliable Real Numbers”jury member · 2013 · Ecole Polytechnique X · doctoral
- Filip Konecny“Vérification relationnelle pour des programmes avec des données entières”jury member · 2012 · Université de Grenoble · doctoral
- Thi Minh Tuyen Nguyen“Taking architecture and compiler into account in formal proofs of numerical programs”referee · 2012 · Université Paris Sud - Paris XI · doctoral
- Jiri Simacek“Harnessing forest automata for verification of heap manipulating programs”jury member · 2012 · Université de Grenoble · doctoral
- Diego Caminha Barbosa de Oliveira“Fragments de l'arithmétique dans une combinaison de procédures de décision”referee · 2011 · Université Nancy II · doctoral
- Xavier Allamigeon“Static analysis of memory manipulations by abstract interpretation -- Algorithmics of tropical polyhedra, and application to abstract interpretation”jury member · 2009 · Ecole Polytechnique X · doctoral
Cite this page
The record changes as sources are read again, so a citation says when the page was read.
bibtex
@misc{academicancestry_Q33241938,
author = {{Academic Ancestry}},
title = {{David Monniaux: advisors and students}},
year = {2026},
url = {https://academicancestry.org/person/Q33241938},
note = {read on 2026-10-16}
}apa
Academic Ancestry. (2026, October 16). David Monniaux: Advisors and students [Read on 2026-10-16]. https://academicancestry.org/person/Q33241938