Guy Katz

About

I am a 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).