a person in the record
Valentin Blot
Ph.D. École Normale Supérieure de Lyon 2014
Supervised 1 doctoral student at Université Paris-Saclay in 2024; doctorate at Ecole normale supérieure de lyon - ENS LYON in 2014 under Olivier Laurent; Wikidata names Colin Riba as doctoral advisor. Linked to Wikidata, Mathematics Genealogy Project, and VIAF.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlex
Theses1
- cited by a thesis record
Game semantics and realizability for classical logic
2014 · Ecole normale supérieure de lyon - ENS LYON · doctoral · École doctorale InfoMaths (Lyon ; 2009-....) · in English · the thesis's own page ›also named on this thesis
- cited by a thesis recordPierre-Louis Curienjury president
- cited by a thesis recordPierre Hyvernatjury member
- cited by a thesis recordAndrzej Murawskireferee
- cited by a thesis recordColin Ribajury member
- cited by a thesis recordThomas Streicherreferee
Advisors1
The thesis record names Olivier Laurent; Wikidata names Colin Riba.
- cited by a thesis record
Olivier Laurent“Game semantics and realizability for classical logic”
2014 · Ecole normale supérieure de lyon - ENS LYON · doctoral
Students1
- cited by a thesis record
Louise Dubois de Prisque“Prétraitement compositionnel en Coq”
2024 · Université Paris-Saclay · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
The line above and below3 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 WikidataColin Ribacited by a thesis recordOlivier Laurent
- 2 steps up
stated by WikidataClaude Kirchnercited by a thesis recordJean-Yves Girardcited by a thesis recordLaurent Regnier
- 3 steps up
stated by WikidataJean-Pierre Jouannaud
Below them, within 3 steps, the record reaches 1 person: 1 cited by thesis records.
Education and career2
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undated
- undated
Works1
2014 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Game semantics and realizability for classical logic
2014 · doctoral thesis · HAL/TEL OAI