A Dialogue with Yuri Gurevich about Mathematics, Computer Science and Life

The interview appeared in the section “News from New Zealand” curated by Cristian S. Calude

Yuri Gurevich is well-known to the readers of this Bulletin. He is a Principal Researcher at Microsoft Research, 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 but he is known also for his work in 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, and a member of Academia Europaea; he obtained honorary doctorates from Hasselt University in Belgium and Ural State University in Russia.