top of page


I am an associate professor at the School of Computer Science and Engineering, the Hebrew University of Jerusalem. I joined the Hebrew University in 2018 as an assistant professor, and became an associate professor in 2020; prior to that, in 2016-2017, I was a post-doctoral fellow at Stanford University, working with Prof. Clark Barrett. I completed my Ph.D. (in 2015) and M.Sc. (in 2012) degrees at the Weizmann Institute of Science, Israel. My adviser there was Prof. David Harel. I completed my B.Sc. in 2007, at the Open University of Israel.


My current research is focused on developing techniques for verifying the correctness of systems produced using machine learning, such as deep neural networks. Verification can serve to increase our confidence in the reliability of such systems, which is crucial if they are to be deployed in safety-critical settings.


More generally, I am highly interested in the intersection between Software Engineering and Formal Methods. Some of my work revolved around creating programming paradigms that are intuitive and appealing to engineers, and at the same time have simple properties that facilitate software verification.


I am also interested in Satisfiability Modulo Theories (SMT) solvers and their applications to software engineering and verification.


Formal Methods

SMT, Neural Network Verification

Software Engineering and Modeling

Scenario Based Programming, Wise Computing


2016 - 2017

Stanford University

Postdoctoral Fellow, Prof. Clark Barrett's group

2012 - 2015

Weizmann Institute of Science

PhD, Prof. David Harel's group

2011 - 2012

Weizmann Institute of Science

MSc, Prof. David Harel's group

2002 - 2007

The Open University of Israel


bottom of page