I am a senior lecturer (assistant professor) at theĀ School of Computer Science and Engineering, theĀ Hebrew University of Jerusalem. I joined the Hebrew University in 2018; 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.


News: I am looking for highly motivated graduate students and postdocs. Research projects for students, particularly on neural network verification, are also available. If you are interested, send me an email.