Registered user since Thu 30 Jun 2016
Name:Oded Padon
Country:Israel
Affiliation:Weizmann Institute of Science
Personal website: https://www.wisdom.weizmann.ac.il/~padon/
GitHub: https://github.com/odedp
Research interests:Programming Languages, Verification, Formal Methods, Logic, Distributed Systems
Contributions
POPL 2025-profile
View general profile
View general profile