131
reputation
4
Dejan Jovanović
I'm a computer scientist in the Formal Methods group of SRI International. I do research related to verification, specializing in SAT/SMT solving and model checking.
0
answers
1
question
~1k
people reached
-
New York, NY, USA
-
Member for 2 years, 3 months
-
1 profile view
-
Last seen Jun 20 at 15:00
