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: firstname.lastname@example.org
Relevant papers: papers
|©2002-2018 U.C. Regents|