a person in the record
Patrick Cousot
French computer scientistborn 1948
Supervised 4 doctoral students at Ecole Polytechnique X and Université Paris Dauphine - Paris IX between 2001 and 2005; Wikidata lists 3 doctoral students, names Michael Griffiths and Philippe Jorrand as teachers, and lists 1 person they taught. Linked to Wikidata, ORCID, and 8 other registers.

How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Students4
- cited by a thesis record
Xavier Rival“Abstraction de traces en analyse statique et transformation de programmes.”
2005 · Ecole Polytechnique X · doctoral - cited by a thesis recordstated by Wikidata
Jérôme Feret“Analyse des systèmes mobiles par interprétation abstraite.”
2005 · Ecole Polytechnique X · doctoral - cited by a thesis record2004 · Ecole Polytechnique X · doctoral
- cited by a thesis recordstated by Wikidata
David Monniaux“Analysis of probabilistic programs by abstract interpretation”
2001 · Université Paris Dauphine - Paris IX · doctoral
Students on Wikidata3
From Wikidata, shown separately from the thesis records.
- stated by Wikidataborn 1953
- stated by Wikidata
- stated by Wikidata
Teachers and mentors2
Wikidata's "student of" and "student" statements: a line of training beside the lineage, never a thesis supervision and never counted with one.
- a teacher or mentor, stated by Wikidata: not a thesis supervision
- a teacher or mentor, stated by Wikidata: not a thesis supervision
Taught1
Wikidata's "student of" and "student" statements: a line of training beside the lineage, never a thesis supervision and never counted with one.
- a teacher or mentor, stated by Wikidata: not a thesis supervision
The line above and below
Below them, within 3 steps, the record reaches 46 people: 33 cited by thesis records, 15 stated by Wikidata.
Education and career6
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undated
- undatedstudied
- undated
- undatedworked
- undatedworked
- undatedworked
Sat beside the lineage7
jury member, jury president, or referee, not advisor
- cited by a thesis record
Marc Chevalier“Proving the security of software-intensive embedded systems by abstract interpretation.”
jury president · 2020 · Université Paris sciences et lettres · doctoral - cited by a thesis record
Jacques-Henri Jourdan“Verasco: a Formally Verified C Static Analyzer”
jury member · 2016 · Universite Paris Diderot-Paris VII · doctoral - cited by a thesis record
Tahina Ramananandro“Mechanized Formal Semantics and Verified Compilation for C++ Objects”
jury member · 2012 · Université Paris-Diderot - Paris VII · doctoral - cited by a thesis record
Mathias Péron“Contributions à l'analyse statique de programmes manipulant des tableaux”
referee · 2010 · Université de Grenoble · doctoral - cited by a thesis record
Colas Le Guernic“Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics”
jury member · 2009 · Université Joseph-Fourier - Grenoble I · doctoral - cited by a thesis record
Olivier Bouissou“Analyse statique par interprétation abstraite de systèmes hybrides.”
jury member · 2008 · Ecole Polytechnique X · doctoral - cited by a thesis recordjury member · 2004 · Ecole Polytechnique X · doctoral