Name:Oded Padon

Affiliation:Stanford University, USA

Research interests:Programming Languages, Formal Methods, Logic, Distributed Systems