Dr. Yoni Zohar
Email
Office
building 503 room 309
Fields of Interest
Satisfiability Modulo Theories , Automated Reasoning
Reception Hours
By appointment
Personal Website
Last Updated Date : 08/01/2025
