Dejan Jovanović (Preferred)
Dejan Jovanović
Researcher, Amazon Web Services, Amazon
Joined
December 2024
Names
Emails
****@amazon.com (Confirmed)
****@cs.nyu.edu (Confirmed)
****@csl.sri.com
Personal Links
Career & Education History
Researcher
Amazon Web Services, Amazon (amazon.com)
2021 – Present
Researcher
Computer Science, SRI International (sri.com)
2013 – 2021
PhD student
Computer Science, New York University (cs.nyu.edu)
2006 – 2012
MS student
Computer Science, Universidade Nova de Lisboa (unl.pt)
2005 – 2006
MS student
Computational Logic, Technische Universität Wien (tuwien.ac.at)
2004 – 2005
Undergrad student
Faculty of Mathematics, University of Belgrade (matf.bg.ac.rs)
1998 – 2003
Advisors, Relations & Conflicts
Expertise
Automated Reasoning
2003 – Present
Publications
Co-Authors
- Adrià Gascón
- Ali Torkamani
- Aman Goel
- Andrew M. Kent
- Andrew Reynolds
- Ashish Tiwari
- Benjamin Kiesl-Reiter
- Bruno Dutertre
- Byron Cook
- Cesare Tinelli
- Christopher L. Conway
- Clark W. Barrett
- Constantin Enea
- Daniel Schwartz-Narbonne
- Darion Cassel
- Dejan Krstic
- Dimitra Giannakopoulou
- Divya Raghunathan
- Dorsa Sadigh
- Duncan Clough
- Ferhat Erata
- Gabriela F. Ciocarlie
- Georg Weissenbacher
- Jeffrey J. Kuna
- Jens Katelaan