
Prof. Guy Katz
I am an associate professor at the School of Computer Science and Engineering, the Hebrew University of Jerusalem. My research focuses on applying formal methods to enable the creation of reliable and correct software. I am particularly interested in formally verifying systems with machine-learned components, such as neural networks and large language models (LLMs).
My research is currently supported by grants from the European Research Council (ERC Starting Grant), the European Commission (the RobustifAI consortium) , the Israeli Science Foundation (ISF), and the Israel Innovation Authority.
NEWS
I am co-chairing TACAS in Turin, April 2026. Consider submitting your papers!
I am looking for highly motivated graduate students and postdocs. Positions come with full funding for a number of years. When applying, please include your CV, grade transcripts, and details regarding the kind of problems you'd like to work on. If you are interested, get in touch