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: gurevich@microsoft.com

Relevant papers: papers


Contact 
©2002-2018 U.C. Regents