Guy Katz

Guy Katz is a professor in the School of Computer Science and Engineering at the Hebrew University of Jerusalem. His research focuses on applying formal methods to create reliable and correct software systems, with particular emphasis on verifying systems that include machine-learned components such as neural networks and large language models. Katz is widely known for work on verification and analysis of deep neural networks and other safety-critical AI systems, and he leads Hebrew University’s contribution to RobustifAI, a Horizon Europe consortium on robust and trustworthy generative AI.

No endorsements yet.

Personal Website

https://www.katz-lab.com/

LinkedIn

-

Twitter / X

-

LessWrong

-

EA Forum

-

No grants recorded.