full professor, PhD Theoretical Foundations of Computer Science office second floor, 46 phone (485)-2866 e-mail mima@dmi.uns.ac.rs personal page http://people.dmi.uns.ac.rs/~mima/ Consultations/office hours