Guy Katz

Associate Professor, Computer Science, Hebrew University of Jerusalem

  • Joined October 2017

Names

Guy Katz

Emails

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

Personal Links

Career & Education History

Associate Professor
Computer Science, Hebrew University of Jerusalem (huji.ac.il)
2020 – Present
 
Assistant Professor
Computer Science, Hebrew University of Jerusalem (huji.ac.il)
2018 – 2020
 
Postdoc
Computer Science, Stanford University (stanford.edu)
2016 – 2017
 
PhD student
Computer Science, Weizmann Institute of Science (weizmann.ac.il)
2012 – 2015
 
MS student
Computer Science, 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