Zagovor doktorata: Anja Petković Komel, Meta-analiza teorij tipov z uporabo v oblikovanju formalnih dokazov
Date of publication: 15. 12. 2021
Department of Mathematics PhD defense
Tuesday
21
December
Time:
12:00 - 14:00
Location:
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).
