Dr. Yoni Zohar

Email
yoni.zohar@biu.ac.il
Office
building 216 room 003
Fields of Interest

Satisfiability Modulo Theories , Automated Reasoning

Reception Hours
By appointment

Last Updated Date : 19/04/2023