Loading…
CP 2016 has ended
avatar for Dejan Jovanovic

Dejan Jovanovic

SRI International
Mountain View USA
Dejan Jovanović is a computer scientist in the Computer Science Laboratory at SRI International. His research interests are automated reasoning, satisfiability, and model-checking. He is involved in development of Yices2 and CVC4 SMT solvers. He received his Ph.D. degree in computer science from New York University.