Guy Katz

Assistant Professor, Hebrew University of Jerusalem

Associate Professor, Hebrew University of Jerusalem

  • Joined October 2017

Names

Guy Katz

Emails

****@gmail.com (Confirmed)
,
****@cs.huji.ac.il

Personal Links

Career & Education History

Assistant Professor
Hebrew University of Jerusalem
Present
 
Associate Professor
Hebrew University of Jerusalem (huji.ac.il)
2020 – Present
 
Assistant Professor
Hebrew University of Jerusalem (huji.ac.il)
2018 – 2020
 
Postdoc
Stanford University (stanford.edu)
2016 – 2017
 
PhD student
Weizmann Institute of Science (weizmann.ac.il)
2012 – 2015
 
MS student
Weizmann Institute of Science (weizmann.ac.il)
2011 – 2012
 

Advisors, Relations & Conflicts

Postdoc Advisor
2016 – 2017
 
PhD Advisor
2011 – 2015
 

Expertise

Neural Network Verification
2016 – Present
 
Software Engineering
2012 – Present
 
Formal Methods
2012 – Present