Oded
Padon
Department of Computer Science and Applied Mathematics
Weizmann Institute of Science
Dr. Oded Padon is a computer scientist specializing in programming languages and formal verification. His research develops new techniques that apply formal mathematical reasoning to verify that complex software systems are free of bugs and meet their correctness specifications. His work aims to enhance automation in software verification and to make it widely accessible. His research also applies programming languages’ techniques to other domains such as quantum computing and machine learning.
Oded’s work aims to enhance automation in software verification and to make it widely accessible.
Oded received a BSc in physics and mathematics from The Hebrew University of Jerusalem, an MSc in environmental physics from Ben-Gurion University of the Negev, and a PhD in computer science from Tel Aviv University. He was a postdoctoral researcher at Stanford University and a senior researcher at VMware Research. Oded grew up in Ganei Tikva, and currently resides in Rehovot with his wife and two children. In his free time, he enjoys reading and spending time with his family.
More Azrieli Fellows
About the Azrieli Fellows Program
The Azrieli Fellows Program was established in 2007 to create a network of leading academics and professionals committed to raising Israel’s profile while maintaining strong academic links between Israel and the rest of the world.
Learn moreHave information and updates about the Azrieli Fellows Program sent directly to your inbox.
