Guy Katz
Jerusalem, Israel
Bio
Updated 05/18/26Guy 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.
Community Signal
Updated 05/18/260Upvotes
0Downvotes
0Endorsements
No endorsements yet.
Links
Updated 05/18/26- Personal Website
- https://www.katz-lab.com/
- -
- Twitter / X
- -
- LessWrong
- -
- EA Forum
- -
Grants
Updated 05/18/26No grants recorded.