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

Top tags (5)

Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (1)

Badges (8)

Gold

Silver

2

Rarest

Bronze

6

Rarest