a person in the record
Nathanaëlle Courant
Also known as Nathanaël Courant (Wikidata)
Researcher
Doctorate in mathematics at Université Paris Cité in 2024 under Xavier Leroy. Linked to Wikidata and ORCID.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors1
- cited by a thesis record
Xavier Leroy“Towards an efficient and formally-verified convertibility checker”
2024 · Université Paris Cité · doctoral
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
cited by a thesis recordXavier Leroy
- 2 steps up
cited by a thesis recordGérard Huet
Theses1
- cited by a thesis record
Towards an efficient and formally-verified convertibility checker
2024 · 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 recordGuillaume Melquiondreferee
- cited by a thesis recordSandrine Blazyjury member
- cited by a thesis recordThibaut Balabonskijury member
- cited by a thesis recordMalgorzata Biernackareferee
- cited by a thesis recordDelia Kesnerjury president
- cited by a thesis recordMatthieu Sozeaujury member
Works1
2024 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Towards an efficient and formally-verified convertibility checker
2024 · 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.