Yoni Zohar
I am a faculty member in the Department of
Computer Science, Bar Ilan University. Before coming to Bar Ilan, I
was a postdoctoral researcher in Clark Barrett's group at
Stanford University. Before that, I was a Ph.D. student under the
supervision of Arnon Avron at Tel Aviv
University.
- Tools
- People
- Teaching
-
- Programming Languages (BIU, 2022-2023)
- Seminar in Verification of Smart Contracts (BIU, 2021-2022, 2022-2023)
- Automated Reasoning and Applications (BIU, 2021-2022, 2022-2023)
- Publications