a person in the record
Assia Mahboubi
Supervised 4 doctoral students at Nantes Université, Université Paris Saclay (COmUE), and Ecole Polytechnique X between 2012 and 2023; doctorate at Université Nice Sophia Antipolis in 2006 under Loïc Pottier. Linked to ORCID and OpenAlex.
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
Contributions à la certification des calculs dans R : théorie, preuves, programmation
2006 · Université Nice Sophia Antipolis · doctoral · Mathématiques, Sciences et Technologies de l'Information (Informatique) · in French · the thesis's own page ›also named on this thesis
- cited by a thesis recordBenjamin Wernerjury member
- cited by a thesis recordThierry Coquandreferee
- cited by a thesis recordJohn Harrisonreferee
- cited by a thesis recordAndré Hirschowitzjury member
- cited by a thesis recordLoïc Pottierjury member
- cited by a thesis recordMarie-Françoise Royreferee
Advisors1
- cited by a thesis record
Loïc Pottier“Contributions à la certification des calculs dans R : théorie, preuves, programmation”
2006 · Université Nice Sophia Antipolis · doctoral
Students4
- cited by a thesis record2023 · Nantes Université · doctoral
- cited by a thesis record
Enzo Crance“Méta-programmation pour le transfert de preuve en théorie des types dépendants”
2023 · Nantes Université · doctoral - cited by a thesis record
Thomas Sibut Pinote“Investigations in Computer-Aided Mathematics : Experimentation, Computation, and Certification”
2017 · Université Paris Saclay (COmUE) · doctoral - cited by a thesis record
Cyril Cohen“Formalized algebraic numbers: construction and first-order theory.”
2012 · Ecole Polytechnique X · doctoral
The line above and below3 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 recordLoïc Pottier
- 2 steps up
cited by a thesis recordAnne Benoit
- 3 steps up
cited by a thesis recordPlateau Brigitte
Below them, within 3 steps, the record reaches 6 people: 6 cited by thesis records.
Works1
2006 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Contributions à la certification des calculs dans R : théorie, preuves, programmation
2006 · 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 lineage21
jury member, jury president, or referee, not advisor
- cited by a thesis record
Quentin Canu“Formalization of efficient polyhedral computations”
jury president · 2025 · Université Paris-Saclay · doctoral - cited by a thesis record
Luc Chabassier“Aspects of category theory in proof assistants”
referee · 2025 · Université Paris-Saclay · doctoral - cited by a thesis recordjury member · 2025 · Université Paris-Saclay · doctoral
- cited by a thesis record
David Julien“Probabilistic Abstraction and Verification of Hybrid Dynamical Systems”
jury president · 2025 · Nantes Université · doctoral - cited by a thesis record
Vincent Kowalski“Useful bysantine abstraction at computability level of shared memory”
jury president · 2025 · Nantes Université · doctoral - cited by a thesis record
Emile Oleon“Coherent presentation of groups in homotopy type theory”
jury president · 2025 · Institut Polytechnique de Paris · doctoral - cited by a thesis record
Clément Blaudeau“Retrofitting and strengthening the ML module system”
jury member · 2024 · Université Paris Cité · doctoral - cited by a thesis record
Rébecca Zucchini“Bibliothèque certifiée en Coq pour la provenance des données”
jury member · 2023 · Université Paris-Saclay · doctoral - cited by a thesis record
Meven Lennon-Bertrand“Bidirectional Typing for the Calculus of Inductive Constructions”
jury member · 2022 · Nantes Université · doctoral - cited by a thesis record
Gabriel Hondet“Expressing predicate subtyping in computational logical frameworks”
jury member · 2022 · Université Paris-Saclay · doctoral - cited by a thesis record
Victoire Noizet“Necro, la sémantique sans y laisser les os : conception d’un système formel de description et de manipulation de sémantiques opérationnelles”
jury member · 2022 · Université de Rennes · doctoral - cited by a thesis record
Diane Gallois-Wong“Formalisation en Coq des algorithmes de filtre numérique calculés en précision finie”
jury member · 2021 · Université Paris-Saclay · doctoral - cited by a thesis record
Théo Winterhalter“Formalisation and Meta-Theory of Type Theory”
jury member · 2020 · Université de Nantes · doctoral - cited by a thesis record
Florian Faissole“Formalisations d’analyses d’erreurs en analyse numérique et en arithmétique à virgule flottante”
jury member · 2019 · Université Paris Saclay (COmUE) · doctoral - cited by a thesis record
Gaëtan Gilbert“A type theory with definitional proof-irrelevance”
jury member · 2019 · Ecole nationale supérieure Mines-Télécom Atlantique · doctoral - cited by a thesis record
Simon Pierre Boulier“Extending type theory with syntactic models”
jury member · 2018 · Ecole nationale supérieure Mines-Télécom Atlantique · doctoral - cited by a thesis record
Pierre Boutry“On the formalization of foundations of geometry”
jury member · 2018 · Université de Strasbourg · doctoral - cited by a thesis record
Evmorfia-Iro Bartzia“A formalization of elliptic curves for cryptography”
jury member · 2017 · Université Paris Saclay (COmUE) · doctoral - cited by a thesis recordjury member · 2017 · Université Sorbonne Paris Cité - Université Paris Diderot (Paris 7) · doctoral
- cited by a thesis record
Mahfuza Farooque“Automated Reasoning Techniques as Proof-search in Sequent Calculus”
jury member · 2013 · Ecole Polytechnique X · doctoral - cited by a thesis record
Cyril Cohen“Formalized algebraic numbers: construction and first-order theory.”
jury member · 2012 · Ecole Polytechnique X · doctoral