Guy Katz is a postdoctoral research fellow at Stanford University. His research interests lie at the intersection of software engineering and formal methods, in particular, modeling paradigms that are useful and friendly to programmers while also amenable to formal analysis, verification, and program repair. To this end, he has been studying the properties of various concurrency idioms, and how these properties can be leveraged by advanced program analysis tools such as SMT solvers. Katz received a PhD in computer science from the Weizmann Institute of Science. Contact him at guyk@cs.stanford.edu.