Yuri Gurevich

Yuri Gurevich, Professor Emeritus at the University of Michigan, is an American computer scientist and mathematician and the inventor of abstract state machines.

[11][12] From 1998 to 2018, Gurevich was with Microsoft Research where he founded a group on Foundations of Software Engineering.

The group built Spec Explorer based on the theory of abstract state machines.

Later, Gurevich worked with different Microsoft groups on various efficiency, safety, and security issues,[13] including access control,[14] differential compression,[15] and privacy.

[1] Since 2013 Gurevich has worked primarily on quantum computing,[17] while continuing research in his traditional areas.