211
reputation
2
6
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
~5k
people reached
-
New York, NY, USA
-
Member for 4 years, 1 month
-
4 profile views
-
Last seen Apr 8 at 13:29
Communities (17)
Top network posts
Badges (8)
Gold
—
Silver
2
Rarest
-
Oct 7
-
Jul 19
Bronze
6
Rarest
-
Mar 24 '17
-
Oct 7
-
May 3 '18
