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