Yoni Zohar
Yoni Zohar 

Yoni Zohar

Postdoctoral Researcher
Computer Science Department
Stanford University
E-mail: yoniz@cs.stanford.edu  

I am a postdoctoral researcher in Clark Barrett's group at Stanford University, working on formal methods and automated reasoning. Before that, I was a Ph.D. student under the supervision of Arnon Avron at Tel Aviv University.
Publications
Selected Presentations
Theses
Tools
Teaching
  • Discrete Mathematics at Tel Aviv University (TA, 2013-2016)
Other