Upcoming talks

QCon New York

2019 | June

On June 24th, I’ll be speaking about PID loops, control theory and other cool things at QCon New York as part of Cindy Sridharan’s modern CS in the real world track.

AWS re:Inforce

2019 | June

On June 25th, I’ll be talking at AWS re:Inforce, and giving away some of the nitty gritty details of how we do encryption at unprecedented scale at AWS. I’ll be covering some technologies we’ve never even made public before.

IEEE SecDev

2019 | September

I’ll be giving one of the Keynote talks at this year’s IEEE SecDev. I’m looking forward to talking about how layered security can be better managed using modern code analysis techniques, and how we’ve put Formal Verification into practice on real world code that is handling trillions of requests.