131
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
~1k
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) All Questions Answers | Votes Newest

Badges (4)

Gold

Silver

Bronze

4

Rarest