Zagovor doktorata: Philipp Georg Haselwarter, Učinkovalna meta-teorija za teorijo tipov
Date of publication: 15. 12. 2021
Department of Mathematics PhD defense
Tuesday
11
January
Time:
16:00 - 18:00
Location:
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).
