Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020

Registered user since Sun 19 Jul 2020

Name: Guy Katz

Bio: Guy Katz is an assistant professor at the Hebrew University of Jerusalem, Israel. He received his Ph.D. at the Weizmann Institute of Science in 2015. His research interests lie at the intersection between Formal Methods and Software Engineering, and in particular in the application of formal methods to software systems with components generated via machine learning.

Country: Israel

Affiliation: Hebrew University

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

Contributions

MAPL 2020Invited Speaker of An Abstraction-Based Framework for Neural Network Verification within the MAPL-track
Show activities from other conferences

PLDI 2020-profile
View general profile