About me

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.

Teaching

Projects

Papers

  1. The Design and Implementation of the Model Constructing Satisfiability Calculus
    Dejan Jovanović and Clark Barrett and Leonardo de Moura. In Proceedings of the 13th Conference on Formal Methods in Computer-Aided Design, 2013.
  2. Cutting to the Chase: Solving Linear Integer Arithmetic
    Dejan Jovanović and Leonardo de Moura. In Journal of Automated Reasoning, volume 51, issue 1, pages 79-108. Springer-Verlag, 2013.
  3. A Model-Constructing Satisfiability Calculus
    Leonardo de Moura and Dejan Jovanović. In Proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, volume 7737 of Lecture Notes in Computer Science, pages 1-12, 2013.
  4. Being careful about theory combination
    Dejan Jovanović and Clark Barrett. In Formal Methods in System Design, volume 42, pages 67-90. Springer-Verlag, 2013.
  5. Solving Non-Linear Arithmetic
    Dejan Jovanović and Leonardo de Moura. In Proceedings of the 6th International Joint Conference on Automated Deduction, volume 7364 of Lecture Notes in Computer Science, pages 339-354. Springer-Verlag, 2012.
  6. Sharing is Caring: Combination of Theories
    Dejan Jovanović and Clark Barrett. In Proceedings of the 8th International Symposium Frontiers of Combining Systems, volume 6989 of Lecture Notes in Computer Science, pages 195-210. Springer-Verlag, 2011.
  7. Cutting to the Chase: Solving Linear Integer Arithmetic
    Dejan Jovanović and Leonardo de Moura. In Proceedings of the 23rd International Conference on Automated Deduction, volume 6803 of Lecture Notes in Computer Science, pages 338-353. Springer-Verlag, 2011.
  8. CVC4
    Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanović, Tim King, Andrew Reynolds, and Cesare Tinelli. In Proceedings of the 23rd International Conference on Computer Aided Verification, volume 6806 of Lecture Notes in Computer Science, pages 171-177. Springer-Verlag, 2011.
  9. Polite Theories Revisited
    Dejan Jovanović and Clark Barrett. In Proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 6397 of Lecture Notes in Computer Science, pages 402-416. Springer-Verlag, 2010.
  10. Polite Theories Revisited
    Dejan Jovanović and Clark Barrett. Technical Report TR2010-922, Department of Computer Science, New York University, January 2010.
  11. Logical Analysis of Hash Functions
    Dejan Jovanović and Predrag Janičić. In Proceedings of the 5th International Workshop Frontiers of Combining Systems, volume 3717 of Lecture Notes in Computer Science, pages 200-215. Springer-Verlag, 2005.
  12. Variable Neighborhood Search for the Probabilistic Satisfiability Problem
    Dejan Jovanović, Nenad Mladenović, and Zoran Ognjanović. In Proceedings of the 6th Metaheuristics International Conference, 2005.