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). From September 2006 I am a Computer Science PhD student at NYU. My research interests lie in the areas of formal methods, verification, logic, decision procedures, sat solvers... I am doing my research within the Analysis of Computer Systems Group, supervised by Clark Barrett.

Projects

Papers

  1. Solving Non-Linear Arithmetic
    Dejan Jovanović and Leonardo de Moura. To appear in Proceedings of the 6th International Joint Conference on Automated Deduction, 2012.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. Polite Theories Revisited
    Dejan Jovanović and Clark Barrett. Technical Report TR2010-922, Department of Computer Science, New York University, January 2010.
  7. 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.
  8. Variable Neighborhood Search for the Probabilistic Satisfiability Problem
    Dejan Jovanović, Nenad Mladenović, and Zoran Ognjanović. In Proceedings of the 6th Metaheuristics International Conference, 2005.