Assistant professor
Department of Computer Science
Faculty of Mathematics
University of Belgrade
Studentski trg 16
11000 Belgrade, Serbia
e-mail: vesna.marinkovic[at]matf.bg.ac.rs
office: Simina 2
member of the Automated Reasoning GrOup (ARGO)