I am a senior lecturer (assistant 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.

My research is currently supported by grants from the Israeli Science Foundation (ISF), the US-Israel Binational Science Foundation (BSF), and the Semiconductor Research Corporation (SRC).


 I am looking for highly motivated graduate students and postdocs. Positions come with full funding for a number of years. Research projects for students are also available.
If you are interested, get in touch

A recording of a tutorial about neural network verification that I gave at the Oxford summer school on Foundations of Programming and Software Systems (FoPSS 2018) is now available online: part I, part II

The Hebrew University
of Jerusalem

© 2020 by Guy Katz. Photo by Miriam Alster, Flash 90

  • LinkedIn
  • Google Scholar
  • Research Gate