Oded Padon

odedp@mail.tau.ac.il

I am a fourth year PhD student in computer science at Tel Aviv University, advised by Professor Mooly Sagiv.

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

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

Publications

Teaching