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.
-
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
Rarest
-
Oct 7
-
Jul 19
Bronze
Rarest
-
Mar 24 '17
-
Oct 7
-
May 3 '18