ABOUT ME

I am a senior lecturer (assistant professor) at the School of Computer Science and Engineering, the Hebrew University of Jerusalem. I joined the Hebrew University in 2018; prior to that, in 2016-2017, I was a post-doctoral fellow at Stanford University, working with Prof. Clark Barrett. I completed my Ph.D. (in 2015) and M.Sc. (in 2012) degrees at the Weizmann Institute of Science, Israel. My adviser there was Prof. David Harel. I completed my B.Sc. in 2007, at the Open University of Israel.

 

My current research is focused on developing techniques for verifying the correctness of systems produced using machine learning, such as deep neural networks. Verification can serve to increase our confidence in the reliability of such systems, which is crucial if they are to be deployed in safety-critical settings.

 

More generally, I am highly interested in the intersection between Software Engineering and Formal Methods. Some of my work revolved around creating programming paradigms that are intuitive and appealing to engineers, and at the same time have simple properties that facilitate software verification.

 

I am also interested in Satisfiability Modulo Theories (SMT) solvers and their applications to software engineering and verification.

RESEARCH INTERESTS

Formal Methods

SMT, Neural Network Verification

Software Engineering and Modeling

Scenario Based Programming, Wise Computing

EDUCATION

2016 - 2017

Stanford University

Postdoctoral Fellow, Prof. Clark Barrett's group

2012 - 2015

Weizmann Institute of Science

PhD, Prof. David Harel's group

2011 - 2012

Weizmann Institute of Science

MSc, Prof. David Harel's group

2002 - 2007

The Open University of Israel

BSc

The Hebrew University
of Jerusalem

© 2019 by Guy Katz. Photo by Miriam Alster, Flash 90

  • LinkedIn
  • Google Scholar
  • Research Gate