Personal profile

Research interests

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.

Research:

Satisfiability Modulo Theories , Automated Reasoning

Education/Academic qualification

PhD, Tel Aviv University

Oct 2013Sep 2018

Award Date: 30 Sep 2018

Master, Tel Aviv University

Oct 2008Sep 2013

Award Date: 30 Sep 2013

Fingerprint

Dive into the research topics where Yoni Zohar is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or