معرفی
Guy Katz is an associate professor at the School of Computer Science and Engineering, The Hebrew University of Jerusalem, specializing in formal verification of AI-integrated systems. His work bridges Formal Methods and Software Engineering to ensure reliability in software incorporating machine learning components.
He received his Ph.D. from the Weizmann Institute of Science in 2015. His research focuses on verifying neural networks and large language models (LLMs), developing frameworks for safety-critical AI applications. Key methodologies include abstraction techniques, reachability analysis, and certified verification tools.
Recent publications reveal a concentrated effort on neural network verification, with increasing emphasis on LLM safety and reinforcement learning systems. His work consistently targets practical verification challenges in deep learning architectures.
Dr. Katz secures major research funding through:
- European Research Council (ERC Starting Grant)
- European Commission (RobustifAI consortium)
- Israeli Science Foundation (ISF)
- Israel Innovation Authority
He actively recruits graduate students and postdocs for funded positions. Leading the Katz Lab, he develops verification frameworks for machine learning systems while co-chairing TACAS 2026 to advance the formal methods community.
