Research output per year
Research output per year
Research activity per year
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
PhD, Tel Aviv University
Oct 2013 → Sep 2018
Award Date: 30 Sep 2018
Master, Tel Aviv University
Oct 2008 → Sep 2013
Award Date: 30 Sep 2013
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Contribution to journal › Conference article › peer-review
Research output: Contribution to journal › Editorial
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review