a person in the record
Guillaume Munch-Maccagnoni
Doctorate at Université Paris-Diderot - Paris VII in 2013 under Pierre-Louis Curien and Thomas Ehrhard; doctoral advisors Pierre-Louis Curien and Thomas Ehrhard on Wikidata. Linked to Wikidata, ORCID, and IdRef.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors2
- cited by a thesis record
Pierre-Louis Curien“Syntax and Models of a non-Associative Composition of Programs and Proofs”
2013 · Université Paris-Diderot - Paris VII · doctoral - cited by a thesis record
Thomas Ehrhard“Syntax and Models of a non-Associative Composition of Programs and Proofs”
2013 · Université Paris-Diderot - Paris VII · doctoral
Advisors on Wikidata
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
- stated by Wikidata
Theses1
- cited by a thesis record
Syntax and Models of a non-Associative Composition of Programs and Proofs
2013 · Université Paris-Diderot - Paris VII · doctoral · Sciences Mathématiques de Paris Centre · in English · the thesis's own page ›also named on this thesis
- cited by a thesis recordPierre-Louis Curienjury member
- cited by a thesis recordAndrzej Filinskireferee
- cited by a thesis recordJean-Yves Girardjury president
- cited by a thesis recordHugo Herbelinjury member
- cited by a thesis recordAndrew Pittsjury member
- cited by a thesis recordThomas Streicherreferee
Sat beside the lineage1
jury member, not advisor
- cited by a thesis record
Hector Suzanne“Reusable static resource analyses for high level languages”
jury member · 2025 · Sorbonne Université · doctoral