I am 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 research interests lie at the intersection between Software Engineering and Formal Methods, and in particular in the application of formal methods to lightweight parallel programming models. I am especially interested in SMT solving and its applications to software engineering.
Guy Katz Stanford University Computer Science Department 353 Serra Mall, Gates building, Room 326 Stanford, CA 94304 Email: guyk at stanford dot edu