Zagovor doktorata: David Gajser, Preverjanje časovne zahtevnosti Turingovih strojev
Date of publication: 15. 10. 2015
Department of Mathematics PhD defense
V ponedeljek, 19. 10. 2015, ob 16.15 uri v predavalnici 2.01 na Jadranski 21/II.
David GAJSER, univ. dipl. mat., bo zagovarjal svojo doktorsko disertacijo z naslovom »Preverjanje časovne zahtevnosti Turingovih strojev« oziroma »Verifying Time Complexity of Turing Machines« v ponedeljek, 19. 10. 2015, ob 16.15 uri v predavalnici 2.01 na Jadranski 21/II.
Komisija:
- prof. dr. Andrej Bauer,
- prof. dr. Sergio Cabello Justo (mentor),
- prof. dr. Bojan Mohar (Simon Fraser University, Burnaby, Kanada; somentor),
- prof. dr. Marko Petkovšek,
- dekan prof. dr.Petar Pavešić.
