Courant Institute of Mathematical Sciences
Department of Computer Science
New York University
251 Mercer Street, Room 404
New York, NY 10012-1185
Email: dejan@nyu.edu
I got my BSc in Computer Science from the Faculty of Mathematics, University of Belgrade in 2003. After graduating I worked for a year as a TA at the faculty and also as a RA at the Mathematical Institute. In 2004 I enrolled the EU MSc in Computational Logic (joint program of TU Wien and Universidade Nova de Lisboa). I got my PhD at NYU in 2012 (thesis) under the supervision of Clark Barrett. My research interests lie in the areas of formal methods, verification, logic, decision procedures, SAT solvers, SMT solvers... I am doing my research within the Analysis of Computer Systems Group.