a person in the record
Davide Sangiorgi
Italian computer scientistborn 1964
Supervised 8 doctoral students at Ecole normale supérieure de lyon - ENS LYON, Université de Lyon, and University of Bologna; Wikidata names Robin Milner as doctoral advisor and lists 3 doctoral students. Linked to Wikidata, ORCID, and 7 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Students8
- cited by a thesis record
Enguerrand Prebet“Typed Behavioural Equivalences in the Pi-Calculus”
2022 · Ecole normale supérieure de lyon - ENS LYON · doctoral - cited by a thesis record
Adrien Durier“Unique solution techniques for processes and functions”
2020 · Université de Lyon · doctoral - cited by a thesis record
Valeria Vignudelli“Behavioral Equivalences for Higher-Order Languages with Probabilities”
2017 · University of Bologna · doctoral - cited by a thesis record
Jean-Marie Madiot“Higher-order languages : dualities and bisimulation enhancements”
2015 · Ecole normale supérieure de lyon - ENS LYON · doctoral - cited by a thesis record
Ornela Dardha“Type Systems for Distributed Programs: Components and Sessions”
2014 · Università degli studi di Bologna · doctoral - cited by a thesis record
Claudio Antares Mezzina“Réversibilité dans le pi calcul d'ordre supérieur”
2012 · Université de Grenoble · doctoral - cited by a thesis record
Yuxin Deng“Axiomatisations and Types for Probabilistic and Mobile Processes”
2005 · École Nationale Supérieure des Mines de Paris · doctoral - cited by a thesis record
Christine Röckl“On the Mechanized Validation of Infinite-State and Parameterized Reactive and Mobile Systems”
2001 · Technische Universität München · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
Students on Wikidata3
From Wikidata, shown separately from the thesis records.
- stated by Wikidataborn 1983
- stated by Wikidata
- 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 WikidataRobin Milner
Below them, within 3 steps, the record reaches 11 people: 8 cited by thesis records, 3 stated by Wikidata.
Theses
- stated by Wikidata
Expressing mobility in process algebras : first-order and higher-order paradigms
doctoral thesis, stated by Wikidata
Education and career2
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undatedstudied
- undatedworked
Sat beside the lineage6
jury member or referee, not advisor
- cited by a thesis record
Giulia Manara“Linear Logic : Parallel cut elimination and Computation-as-Deduction for the π-calculus”
jury member · 2025 · Université Paris Cité · doctoral - cited by a thesis record
Ornela Dardha“Type Systems for Distributed Programs: Components and Sessions”
jury member · 2014 · Università degli studi di Bologna · doctoral - cited by a thesis record
Sergueï Lenglet“Bisimulations dans les calculs avec passivation”
referee · 2010 · Université Joseph-Fourier - Grenoble I · doctoral - cited by a thesis recordjury member · 2008 · ENS Lyon · doctoral
- cited by a thesis record
Yuxin Deng“Axiomatisations and Types for Probabilistic and Mobile Processes”
jury member · 2005 · École Nationale Supérieure des Mines de Paris · doctoral - cited by a thesis record
Christine Röckl“On the Mechanized Validation of Infinite-State and Parameterized Reactive and Mobile Systems”
referee · 2001 · Technische Universität München · doctoral