Prof. Yuri Gurevich

Dr. Yuri Gurevich heads the Foundations of Software Engineering group at Microsoft Research in Redmond, WA. He is also a Professor of EECS at the University of Michigan (on a leave of absence). Main projects: Abstract State Machines, Average Case Computational Complexity, and Finite Model Theory.

Email address:

Relevant papers: papers

©2002-2018 U.C. Regents