Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Dejan Jovanović
[go: Go Back, main page]

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... Most likely I will be doing my research within the Analysis of Computer Systems Group.

Papers

  1. Dejan Jovanović and Predrag Janičić. Logical analysis of hash functions. In Bernhard Gramlich, editor, Frontiers of Combining Systems (FroCoS), volume 3717 of Lecture Notes in Artificial Intelligence, pages 200-215. Springer-Verlag, 2005.
  2. Dejan Jovanović, Nenad Mladenović, and Zoran Ognjanović. Variable neighborhood search for the probabilistic satisfiability problem. In Proceedings of the 6th Metaheuristics International Conference (MIC 2005), Vienna, Austria, August 2005.

Personal

Music has been my love for a quite a while now. I play guitar whenver I have time to spare (not much lately), and enjoy listening to bands like Pixies, Dinosaur Jr., The Dresden Dolls, Bright Eyes, Madrugada and many others. I enjoy live shows and I try to see all the bands that stop in my town on their tour. Since I just moved to NYC, hopefully there will be a lot to see. Check out my last.fm page to see what I am listening at the moment.

Some (those with web-pages) close friends I have had the pleasure of being around