Dejan Jovanović
1,965
reputation
1
15
21
I'm an applied scientist at AWS. I do research related to verification, specializing in SAT/SMT solving and automated reasoning.