Yuri Gurevich

Gurevich is recognized for his distinguished contributions to logic, particularly finite model theory, and the development of abstract state machines.

The awards were distributed to 18 different primary investigators.