Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Oded Padon

Registered user since Thu 30 Jun 2016

Name: Oded Padon

Country: United States

Affiliation: VMware Research

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

GitHub: https://github.com/odedp

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

Contributions

VMCAI 2021Committee Member in Program Committee within the VMCAI-track
Show activities from other conferences

Using general profile