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. I am the awardee of an ERC Starting Grant (VeriDeL: Verifiably Safe and Correct Deep Neural Networks, 2023-2028) and of the 2024 CAV Award for Fundamental Contributions to the field of Computer-Aided Verification.

​

My current research is focused on developing techniques for verifying the correctness of systems produced using machine learning, such as deep neural networks and LLMs. 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.