a person in the record
Ugo Dal Lago
Computer science researcherborn 1977
Supervised 4 doctoral students at Ecole normale supérieure de lyon - ENS LYON, Università di Bologna [Bologna], and Alma Mater Studiorum Università di Bologna between 2019 and 2025; Wikidata names Simone Martini as doctoral advisor. Linked to Wikidata, ORCID, and 6 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
Giulia Giusti“Exploiting the Potential of Linearity in Automatic Differentiation and Computational Cryptography”
2025 · Ecole normale supérieure de lyon - ENS LYON · doctoral - cited by a thesis record
Gabriele Vanoni“On Reasonable Space and Time Cost Models for the λ-Calculus”
2022 · Università di Bologna [Bologna] · doctoral - cited by a thesis record
Francesco Gavazzo“Coinductive Equivalences and Metrics for Higher-order Languages with Algebraic Effects”
2019 · Alma Mater Studiorum Università di Bologna · doctoral - cited by a thesis record
Raphaëlle Crubillé“Behavioural distances for probabilistic higher-order programs”
2019 · Université Sorbonne Paris Cité · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
The line above and below2 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
stated by WikidataSimone Martini
- 2 steps up
stated by WikidataGiuseppe Longo
Below them, within 3 steps, the record reaches 4 people: 4 cited by thesis records.
Education and career2
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undatedstudied
- undatedworked
Sat beside the lineage12
referee or jury member, not advisor
- cited by a thesis record
Adrienne Lancelot“Comparing functional programs, or how to put λ-terms back in order”
jury member · 2025 · Institut Polytechnique de Paris · doctoral - cited by a thesis record
Mário Silva“Programming languages characterizing quantum efficiency”
referee · 2025 · Université de Lorraine · doctoral - cited by a thesis recordreferee · 2024 · Aix-Marseille Université · doctoral
- cited by a thesis record
Dongho Lee“Formal Methods for Quantum Programming Languages”
referee · 2022 · Université Paris-Saclay · doctoral - cited by a thesis recordreferee · 2017 · Université de Lyon · doctoral
- cited by a thesis record
Pierre Vial“Non-idempotent typing operators, beyond the lambda-calculus”
jury member · 2017 · Université Sorbonne Paris Cité · doctoral - cited by a thesis record
Charles Grellois“Semantics of linear logic and higher-order model-checking”
jury member · 2016 · Univeristé Denis Diderot Paris 7 · doctoral - cited by a thesis recordjury member · 2016 · Aix-Marseille Université · doctoral
- cited by a thesis record
Erika de Benedetti“Linear logic, type assignment systems and implicit computational complexity”
referee · 2015 · Ecole normale supérieure de lyon - ENS LYON · doctoral - cited by a thesis recordjury member · 2014 · Aix-Marseille Université · doctoral
- cited by a thesis record
Clément Aubert“Linear Logic and Sub-polynomial Classes of Complexity”
referee · 2013 · Université Paris-Nord - Paris XIII · doctoral - cited by a thesis record
Antoine Madet“Complexité Implicite de Lambda-Calculs Concurrents”
referee · 2012 · Université Paris-Diderot - Paris VII · doctoral