Zagovor magisterija: Gašper Žajdela, Operacijska semantika za jezik s časovno omejenimi viri
Date of publication: 6. 9. 2023
Department of Mathematics MSc defense
Tuesday
12
September
Time:
11:00
Location:
Predavalnica 3.06, Jadranska 21, 3. nadstropje
Gašper ŽAJDELA (magistrski študijski program druge stopnje Matematika) bo opravljal
magistrski izpit dne 12. 9. 2023 ob 9.00 v predavalnici 3.06, Jadranska 21, 3. nadstropje,
magistrsko delo z naslovom »Operacijska semantika za jezik s časovno omejenimi viri«
pa bo zagovarjal dne 12. 9. 2023 ob 11.00 v predavalnici 3.06, Jadranska 21, 3. nadstropje.
Komisija:
- prof. dr. Andrej Bauer (predsednik)
- doc. dr. Matija Pretnar (mentor)
- asist. dr. Danel Ahman (somentor)
- prof. dr. Alexander Keith Simpson (član)
- doc. dr. Tilen Marc (član pri mag. izpitu)
