Research output per year
Research output per year
Personal profile
About Me
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 2013 → Sep 2018
Award Date: 30 Sep 2018
Master's Degree, Tel Aviv University
Oct 2008 → Sep 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
-
Two Generalizations of Shininess
V. Toledo, G. & Zohar, Y., 2027, Logic, Language, Information, and Computation - 32nd International Workshop, WoLLIC 2026, Proceedings. Johann, P. & de Queiroz, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 97-110 14 p. (Lecture Notes in Computer Science; vol. 16757 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Artificial Incorrectness: SMT and LLMs in Hardware Synthesis
Wang, E., Walston, J., Daniel, L., Tan, T., Zohar, Y. & Barrett, C., 2026, NASA Formal Methods - 18th International Symposium, NFM 2026, Proceedings. Deshmukh, J., Havelund, K. & Pinto, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 261-284 24 p. (Lecture Notes in Computer Science; vol. 16622 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Bringing Closure to Theory Combination Properties
Toledo, G. V., Przybocki, B. & Zohar, Y., 2026, Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Proceedings. Biere, A., Lutz, C. & Negri, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 194-211 18 p. (Lecture Notes in Computer Science; vol. 16688 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Characterizing Sets of Theories That Can Be Disjointly Combined
Przybocki, B., Toledo, G. V. & Zohar, Y., 8 Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, p. 265-293 29 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Checking Regular Expressions in Cvc5 Proofs
Israel, O., Zohar, Y., Reynolds, A., Hitarth, S., Dutertre, B., Barrett, C. & Tinelli, C., 2026, Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Proceedings. Biere, A., Lutz, C. & Negri, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 267-275 9 p. (Lecture Notes in Computer Science; vol. 16688 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access