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