a person in the record
Théo Zimmermann
Researcher
Doctorate at Université Paris Cité in 2019 under Hugo Herbelin and Yann Régis-Gianas; Wikidata names Hugo Herbelin and Yann Régis-Gianas as doctoral advisors. 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
Advisors2
The thesis record names Hugo Herbelin and Yann Régis-Gianas; Wikidata names Hugo Herbelin and Yann Régis-Gianas.
- cited by a thesis record
Hugo Herbelin“Challenges in the collaborative evolution of a proof language and its ecosystem”
2019 · Université Paris Cité · doctoral - cited by a thesis record
Yann Régis-Gianas“Challenges in the collaborative evolution of a proof language and its ecosystem”
2019 · Université Paris Cité · doctoral
Advisors on Wikidata2
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
- stated by Wikidata
The line above and below4 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 WikidataHugo Herbelincited by a thesis recordHugo Herbelinstated by WikidataYann Régis-Gianascited by a thesis recordYann Régis-Gianas
- 2 steps up
stated by WikidataFrançois Pottiercited by a thesis recordFrançois Pottierstated by WikidataThierry Coquandcited by a thesis recordThierry Coquand
- 3 steps up
stated by WikidataDidier Rémycited by a thesis recordGerard Huetstated by WikidataGérard Huet
- 4 steps up
stated by WikidataMaurice Nivat
Theses1
- cited by a thesis record
Challenges in the collaborative evolution of a proof language and its ecosystem
2019 · Université Paris Cité · doctoral · École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) · in English · the thesis's own page ›also named on this thesis
- cited by a thesis recordAnne Etienjury member
- cited by a thesis recordBenoît Combemalereferee
- cited by a thesis recordPierre Courtieujury member
- cited by a thesis recordJean-Rémy Fallerireferee
- cited by a thesis recordTom Mensjury member
- cited by a thesis recordRalf Treinenjury president
Education and career4
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- 2020 to 2022
- undatedstudied
- undatedstudied
- undatedworked
Works1
2019 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Challenges in the collaborative evolution of a proof language and its ecosystem
2019 · 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 lineage1
jury member, not advisor
- cited by a thesis record
Corentin Latappy“Les pratiques de code : de la documentation à la détection”
jury member · 2024 · Université de Bordeaux · doctoral