Site Navigation
Categories:
Year of birth missing (living people)
Living people
American computer scientists
Computer scientist stubs
Fellows of the Association for Computing Machinery
Formal methods people
Microsoft employees
University of Michigan faculty
Members of Academia Europaea
Summary Of: Yuri Gurevich
Encyclodia Page On: Yuri Gurevich
These Are Links To Other Documents
American
|
computer scientist
|
abstract state machines
|
Microsoft Research
|
Professor Emeritus
|
University of Michigan
|
Soviet Union
|
Israel
|
Saharon Shelah
|
monadic
|
second-order
|
theories
|
Harrington
|
finite model theory
|
abstract state machines
|
average-case complexity
|
ACM Fellow
|
Guggenheim Fellow
|
Academia Europaea
|
Honoris Causa
|
Hasselt University
|
Belgium
|
Ural State University
|
Russia
|
Categories
|
Year of birth missing (living people)
|
Living people
|
American computer scientists
|
Computer scientist stubs
|
Fellows of the Association for Computing Machinery
|
Formal methods people
|
Microsoft employees
|
University of Michigan faculty
|
Members of Academia Europaea
|
This article is licensed under the
GNU Free Documentation License
. It uses material from the
Wikipedia article "Yuri Gurevich"
.
