assistant professor, PhD Theoretical Foundations of Computer Science office ground floor, 14 phone (485)-2796 e-mail marko.savic@dmi.uns.ac.rs personal page Consultations/office hours