معرفی
Oded Padon is a Senior Scientist (≈Assistant Professor) at the Weizmann Institute of Science, affiliated with the Faculty of Mathematics and Computer Science. He joined Weizmann in September 2024 after prior roles as a researcher at VMware Research Group, a postdoc in Alex Aiken's group at Stanford University, and a PhD student at Tel Aviv University under Mooly Sagiv.
Research Interests: Oded's work focuses on developing principled algorithms for automated verification of complex systems, particularly distributed protocols, storage systems, and cluster management. He emphasizes decidable logics, primal-dual methods, and decomposition techniques. His recent interests include verification of deep neural networks, quantum computing, and leveraging large language models for verification tasks.
- Key projects: Ivy (safety/liveness verification), mypyvy (invariant inference), Verus (Rust verification), TASO (deep learning optimization), Quartz (quantum circuit superoptimizer).
Scientific Awards:
- Azrieli Early Career Faculty Fellowship
- 2020 ETAPS Doctoral Dissertation Award
- 2017 Google PhD Fellowship in Programming Languages
- Radhia Cousot Young Researcher Best Paper Award (SAS 2017)
Publications span decidable verification, invariant inference, quantum optimization, and machine learning for verification. His work has received Jay Lepreau Best Paper Award at SOSP 2024 (Anvil) and Distinguished Paper Awards at POPL 2024 (An Infinite Needle) and OOPSLA 2023 (Leaf).
