|
Prof. Yuri GurevichDr. 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 |