Yoni Zohar
Yoni Zohar 

Yoni Zohar

Senior Lecturer
Department of Computer Science
Bar Ilan University
E-mail: yoni.zohar@biu.ac.il  

I am a senior lecturer at 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
Teaching
  • Seminar in Verification of Smart Contracts (BIU, 2021)
  • Automated Reasoning and Applications (BIU, 2021)
Publications
Theses