Yuri Gurevich, Professor Emeritus at the University of Michigan, is an American computer scientist and mathematician and the inventor of abstract state machines. Gurevich was born and educated in the Soviet Union. He taught mathematics there and then in Israel before moving to computer science and the United States in 1982. See https://web.eecs.umich.edu/~gurevich/