English Yuri Gurevich Cited by user Vkuncak on 05 Jul 2023 Yuri Gurevich, Professor Emeritus at the University of Michigan, is an American computer scientist and mathematician and the inventor of abstract state machines.