Formal Methods and Dependable Systems
Computer Science Laboratory
SRI International
Email: dejan.jovanovic@sri.com
BSc in Computer Science from the Faculty of Mathematics, University of Belgrade in 2003. 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... I have been at SRI since 2013.
Also available at Google scholar.