Oded Padon

I am a postdoc in Alex Aiken's group at Stanford University. Before that, I was a PhD student at Tel Aviv University, advised by Mooly Sagiv.

My research interests are programming languages, formal verification, logic, and distributed systems.

I am honored to be awarded a 2017 Google PhD Fellowship in programming languages.

Publications

Teaching