Formal Methods and Dependable Systems
Computer Science Laboratory
SRI International
Email: dejan.jovanovic@sri.com
I got my BSc in Computer Science from the Faculty of Mathematics, University of Belgrade in 2003. I got my PhD at NYU in 2012 (thesis, genealogy) under the supervision of Clark Barrett. My research interests lie in the areas of formal methods, verification, logic, decision procedures, SAT solvers, SMT solvers...
Also available at Google scholar.