ICFP/SPLASH 2025 (series) / Oded Padon
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
Using general profile