Preskoči na glavno vsebino

Zagovor doktorata: Philipp Georg Haselwarter, Učinkovalna meta-teorija za teorijo tipov

Datum objave: 15. 12. 2021
Zagovor doktorata na Oddelku za matematiko
torek
11
januar
Ura:
16.00 - 18.00
Lokacija:
predavalnica 2.02 na FMF, Jadranska 21, 2. nadstropje

Philipp Georg HASELWARTER, absolvent doktorskega študijskega programa 3. stopnje Matematika in fizika, smer Matematika, bo zagovarjal doktorsko disertacijo z naslovom »Učinkovalna meta-teorija za teorijo tipov« oziroma »Effective Metatheory for Type Theory« v torek, 11. 1. 2022, ob 16.00 v predavalnici 2.02 na Jadranski 21, 2. nadstropje. Zagovor bo hkrati potekal tudi na daljavo (videokonferenca preko ZOOM-a).

Komisija:
- prof. dr. Andrej Bauer (mentor),
- prof. dr. Robert Harper (Carnegie Mellon University, Pittsburgh, ZDA),
- doc. dr. Matija Pretnar,
- dekan prof. dr. Tomaž Košir (vodja zagovora).