World Scientific
Skip main navigation

Cookies Notification

We use cookies on this site to enhance your user experience. By continuing to browse the site, you consent to the use of our cookies. Learn More
×
Spring Sale: Get 35% off with a min. purchase of 2 titles. Use code SPRING35. Valid till 31st Mar 2025.

System Upgrade on Tue, May 28th, 2024 at 2am (EDT)

Existing users will be able to log into the site and access content. However, E-commerce and registration of new users may not be available for up to 12 hours.
For online purchase, please visit us again. Contact us at customercare@wspc.com for any enquiries.
No Access

Chapter 23: Yuri Gurevich: Mathematics, Computer Science and Life

      https://doi.org/10.1142/9781783266449_0023Cited by:0 (Source: Crossref)
      Previous
      Next
      Abstract:

      Yuri Gurevich is well known to the readers of the Bulletin. He is a Principal Researcher at Microsoft Research (MSR), where he founded a group on Foundations of Software Engineering, and a Professor Emeritus at the University of Michigan. His name is most closely associated with abstract state machines (ASM) but he is also known for his work on logic, complexity theory and software engineering. The Gurevich–Harrington Forgetful Determinacy theorem is a classical result in game theory. Yuri Gurevich is an ACM Fellow, a Guggenheim Fellow, an EATCS fellow and a foreign member of the Academia Europaea, he has obtained honorary doctorates from Hasselt University in Belgium and Ural State University in Russia…