´óÏó´«Ã½

Avhandlingens tittel

"Investigations into Graph-theoretical Constructions in Homotopy Type Theory"

Opponenter:

1. ¹óø°ù²õ³Ù±ð²¹³¾²¹²Ô³Ü±ð²Ô²õ¾±²õÌý, l'École Polytechnique
2. ¹óø°ù²õ³Ù±ð²¹³¾²¹²Ô³Ü±ð²Ô²õ¾±²õÌý , 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.