Disputasdato
Disputas : Jonathan Prieto-Cubides
Main content
Avhandlingens tittel
"Investigations into Graph-theoretical Constructions in Homotopy Type Theory"
Opponenter:
- 贵酶谤蝉迟别补尘补苍耻别苍蝉颈蝉听, l'脡cole Polytechnique
- 贵酶谤蝉迟别补尘补苍耻别苍蝉颈蝉听聽,聽Utrecht University
Leder av komiteen
Professor, Head of Bergen Language Design Laboratory (BLDL) Magne Haveraaen
Disputasleder
贵酶谤蝉迟别补尘补苍耻别苍蝉颈蝉听Laura Garrison
Avhandling
聽(s酶k p氓 kandidatens navn). Dersom den ikke er tilgjengelig her, kan den v忙re tilgjengelig p氓 foresp酶rsel til kandidaten.
脜pent for alle interesserte.
Photo:
Diana Lizarralde-Bejarano
