The Katz Lab

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.