Registered user since Thu 30 Jun 2016

Name: Oded Padon

Affiliation: Stanford University, USA

Personal website: https://cs.stanford.edu/~padon/

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

Contributions