Dejan Jovanović's user avatar
Dejan Jovanović's user avatar
Dejan Jovanović's user avatar
Dejan Jovanović
  • Member for 11 years, 6 months
  • Last seen more than 2 years ago
Stats
360
reputation
7k
reached
1
answer
4
questions
Loading…
About

I'm an applied scientist at AWS. I do research related to verification, specializing in SAT/SMT solving and automated reasoning.

This user doesn’t have any gold badges yet.
2
silver badges
11
bronze badges
3
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %
0
Score
2
Posts
40
Posts %
Top posts