Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online

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

Contributions

Show activities from other conferences

POPL 2021-profile
View general profile