Preskoči na glavno vsebino

Zagovor doktorata: Anja Petković Komel, Meta-analiza teorij tipov z uporabo v oblikovanju formalnih dokazov

Datum objave: 15. 12. 2021
Zagovor doktorata na Oddelku za matematiko
torek
21
december
Ura:
12.00 - 14.00
Lokacija:
predavalnica 3.07 na FMF, Jadranska 21, 3. nadstropje

Anja PETKOVIĆ KOMEL, absolventka doktorskega študijskega programa 3. stopnje Matematika in fizika, smer Matematika, bo zagovarjala doktorsko disertacijo z naslovom »Meta-analiza teorij tipov z uporabo v oblikovanju formalnih dokazov« oziroma »Meta-analysis of type theories with an application to the design of formal proofs« v torek, 21. 12. 2021, ob 12.00 v predavalnici 3.07 na Jadranski 21, 3. nadstropje. Zagovor bo hkrati potekal tudi na daljavo (videokonferenca preko ZOOM-a).

Komisija:
- prof. dr. Sandi Klavžar,
- doc. dr. Matija Pretnar (predsednik KSDŠ),
- izr. prof. dr. Bas Spitters (Aarhus Universitet, Danska),
- dekan prof. dr. Tomaž Košir (vodja zagovora).