a person in the record
Alexandre Chapoutot
Researcher, ORCID id # 0000-0002-7230-0710
Supervised 2 doctoral students at Institut Polytechnique de Paris and Université de Perpignan between 2016 and 2024; doctorate at Ecole Polytechnique X in 2008 under Matthieu Martel. Linked to Wikidata, ORCID, and 2 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
Simulation abstraite : une analyse statique de modèles Simulink
2008 · Ecole Polytechnique X · doctoral · in French · the thesis's own page ›also named on this thesis
- cited by a thesis recordDaniel Krobjury member
- cited by a thesis recordNicolas Halbwachsreferee
- cited by a thesis recordJean-Marie Chesneauxreferee
- cited by a thesis recordMatthieu Marteljury member
- cited by a thesis recordBruno Paganojury member
- cited by a thesis recordMarc Pouzetjury president
Advisors1
- cited by a thesis record
Matthieu Martel“Simulation abstraite : une analyse statique de modèles Simulink”
2008 · Ecole Polytechnique X · doctoral
Students2
- cited by a thesis record
Caroline Pascal“Robotized measurements : automated acoustic characterization of structures”
2024 · Institut Polytechnique de Paris · doctoral - cited by a thesis record
Nasrine Damouche“Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods”
2016 · Université de Perpignan · doctoral
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 recordMatthieu Martel
Below them, within 3 steps, the record reaches 2 people: 2 cited by thesis records.
Education and career1
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- from 2010worked
Works1
2008 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Simulation abstraite : une analyse statique de modèles Simulink
2008 · 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 lineage8
jury member, not advisor
- cited by a thesis record
Quoc Hung Lu“Filtrage à incertitudes stochastiques et bornées : application au diagnostic actif en automobile”
jury member · 2022 · Université Paul Sabatier - Toulouse III · doctoral - cited by a thesis record
Julien Damers“Lie groups applied to localisation of mobile robots”
jury member · 2022 · École Nationale Supérieure de Techniques Avancées Bretagne · doctoral - cited by a thesis record
Andrei Mitriakov“Reinforcement learning-based control for safe 3D navigation of articulated tracked robot manipulators”
jury member · 2022 · Ecole nationale supérieure Mines-Télécom Atlantique · doctoral - cited by a thesis record
Paul Rousse“A Set-Based Cosimulation Method to Overapproximate the Reachable Set of an Interconnection of Dynamical Systems”
jury member · 2020 · Institut Supérieur de l'Aéronautique et de l'Espace (ISAE) · 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
Hugo Joudrier“Guaranteed Deterministic Global Optimization using Constraint Programming through Algebraic, Functional and Piecewise Differential Constraints”
jury member · 2018 · Université Grenoble Alpes · doctoral - cited by a thesis record
Nikolaos Kekatos“Formal Verification of Cyber-Physical Systems in the Industrial Model-Based Design Process”
jury member · 2018 · Université Grenoble Alpes · doctoral - cited by a thesis record
Adel Djaballah“Computation of barrier certificates for dynamical hybrids systems using interval analysis”
jury member · 2017 · Université Paris Saclay (COmUE) · doctoral