101
reputation
2

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.

1
answer
0
questions
0
people reached

Top tags (3)

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

Top posts (1)

Badges (2)

Gold

Silver

Bronze

2

Rarest