a person in the record
Jérôme Feret
Researcherborn 1977
Supervised 4 doctoral students at Université Paris sciences et lettres and Université Grenoble Alpes [2020-....]; doctorate at Ecole Polytechnique X in 2005 under Patrick Cousot; Wikidata names Patrick Cousot as doctoral advisor. Linked to Wikidata, ORCID, and 4 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
The thesis record names Patrick Cousot; Wikidata names Patrick Cousot.
- cited by a thesis record
Patrick Cousot“Analyse des systèmes mobiles par interprétation abstraite.”
2005 · Ecole Polytechnique X · doctoral
Students4
- cited by a thesis record
Aurélie Kong Win Chang“Causal explanations for concurrent programs in Erlang”
2025 · Université Grenoble Alpes [2020-....] · doctoral - cited by a thesis record
Albin Salazar“Faithful model reduction of discrete biological systems”
2023 · Université Paris sciences et lettres · doctoral - cited by a thesis record
Marc Chevalier“Proving the security of software-intensive embedded systems by abstract interpretation.”
2020 · Université Paris sciences et lettres · doctoral - cited by a thesis record
Ferdinanda Camporesi“Formal and exact reduction for differential models of signalling pathways in rule-based languages”
2017 · Université Paris sciences et lettres · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
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
stated by WikidataPatrick Cousotcited by a thesis recordPatrick Cousot
Below them, within 3 steps, the record reaches 4 people: 4 cited by thesis records.
Theses1
- cited by a thesis record
Analyse des systèmes mobiles par interprétation abstraite.
2005 · Ecole Polytechnique X · doctoral · ED_447 · in French · the thesis's own page ›also named on this thesis
- cited by a thesis recordLuca Cardellireferee
- cited by a thesis recordVincent Danosjury member
- cited by a thesis recordRoberto Giacobazzijury member
- cited by a thesis recordJean Goubault-Larrecqjury member
- cited by a thesis recordDavid Schmidtjury president
Education and career2
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- from 2008
- undatedstudied
Works1
2005 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Analyse des systèmes mobiles par interprétation abstraite.
2005 · 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 lineage10
jury member or referee, not advisor
- cited by a thesis record
Charles Babu Mamidisetti“Search-based Methods for Automated Precision Improvement in Static Analysis”
referee · 2025 · Université de Lorraine · doctoral - cited by a thesis recordreferee · 2024 · Université Paris-Saclay · doctoral
- cited by a thesis record
Giann Karlo Aguirre-Samboní“Ecosystem Causal Analysis Using Petri Net Unfoldings”
jury member · 2023 · Université Paris-Saclay · doctoral - cited by a thesis record
Matthieu Bouguéon“Modélisation en langage Kappa de la dynamique des cellules étoilées hépatiques durant le développement et la réversion de la fibrose”
jury member · 2023 · Université de Rennes · doctoral - cited by a thesis record
Julien Braine“The Data-abstraction Framework : abstracting unbounded data-structures in Horn clauses, the case of arrays”
jury member · 2022 · Université de Lyon · doctoral - cited by a thesis record
David Delmas“Static analysis of program portability by abstract interpretation”
jury member · 2022 · Sorbonne Université · 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
Andreea Beica“Abstractions of biochemical reaction networks”
jury member · 2019 · Université Paris sciences et lettres · doctoral - cited by a thesis record
Geoffroy Andrieux“Modélisation dynamique de la signalisation cellulaire : aspects différentiels et discrets; application à la signalisation du facteur de croissance TGF-beta dans le cancer”
jury member · 2013 · Université Rennes 1 · doctoral - cited by a thesis record
Loïc Paulevé“Modélisation, Simulation et Vérification des Grands Réseaux de Régulation Biologique”
jury member · 2011 · Ecole Centrale de Nantes (ECN) · doctoral