Oded Padon

odedp@mail.tau.ac.il

I am a third year PhD student in computer science, advised by Professor Mooly Sagiv.
My research interests are programming languages, verification, shape analysis, logic, networks and distributed systems.

Publications

Teaching