181
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
~2k
people reached
-
New York, NY, USA
-
Member for 3 years, 3 months
-
1 profile view
-
Last seen Mar 4 at 14:36
