Disputasdato
Disputas : Jonathan Prieto-Cubides
Hovedinnhold
Avhandlingens tittel
"Investigations into Graph-theoretical Constructions in Homotopy Type Theory"
Opponenter:
- Førsteamanuensis Noam Zeilberger, l'École Polytechnique
- Førsteamanuensis Page Randall North, Utrecht University
Leder av komiteen
Professor, Head of Bergen Language Design Laboratory (BLDL) Magne Haveraaen
Disputasleder
Førsteamanuensis Laura Garrison
Avhandling
https://bora.uib.no/bora-xmlui/browse?type=author (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.
Foto/ill.:
Diana Lizarralde-Bejarano
