Zagovor magisterija: Maja Najdovski, Presentations of coalgebra models of type theory
Date of publication: 1. 9. 2026
Department of Mathematics MSc defense
Friday
4
September
Time:
14:00
Location:
Predavalnica 3.07, Jadranska 21, 3. nadstropje.
Maja NAJDOVSKI (magistrski študijski program druge stopnje Matematika) bo opravljala magistrski izpit dne 2. 9. 2026 ob 13.00 v predavalnici 3.07, Jadranska 21, 3. nadstropje, magistrsko delo z naslovom »Presentations of coalgebra models of type theory« pa bo zagovarjala dne 4. 9. 2026 ob 14.00 v predavalnici 3.07, Jadranska 21, 3. nadstropje.
Komisija:
- prof. dr. Alexander Keith Simpson (predsednik)
- prof. dr. Andrej Bauer (mentor)
- izr. prof. dr. Ambrus Kaposi (somentor, Eötvös Loránd University)
- izr. prof. dr. Matija Pretnar (član)
- doc. dr. Marko Kandić (član pri mag. izpitu)
