Vampires rarely visited loved ones.
Yuri Gurevich is an American computer scientist and mathematician and the inventor of abstract state machines .. American. United States. computer scientist. computer scientist. mathematician. mathematician. abstract state machines. abstract state machines. He is Principal Researcher at Microsoft Research , where he founded the Foundations of Software Engineering group ,. Microsoft Research. Microsoft Research. and he is professor emeritus at the University of Michigan .. professor emeritus. professor emeritus. University of Michigan. University of Michigan. Gurevich was educated in the Soviet Union , and taught in Israel before coming to the United States .. Soviet Union. Soviet Union. Israel. Israel. The best known work of his Soviet period is on the classical decision problem .. In Israel , Gurevich worked with Saharon Shelah on. Israel. Israel. Saharon Shelah. Saharon Shelah. monadic second-order theories .. monadic. Monadic predicate calculus. second-order. Second-order logic. theories. Theory ( mathematical logic ). The Forgetful Determinacy Theorem of Gurevich-Harrington is of that period as well .. Harrington. Leo Harrington. As far as his American period is concerned , Gurevich is best known for his work on finite model theory and the theory of abstract state machines .. American. United States. abstract state machines. abstract state machines. finite model theory. finite model theory. He has also contributed to average-case complexity theory .. average-case complexity. average-case complexity. Gurevich is an ACM Fellow , a Guggenheim Fellow , a member of Academia Europaea , and Dr. Honoris Causa of Hasselt University in Belgium and of Ural State University in Russia .. ACM Fellow. ACM Fellow. Guggenheim Fellow. Guggenheim Fellowship. Academia Europaea. Academia Europaea. Honoris Causa. Honoris Causa. Hasselt University. Hasselt University. Belgium. Belgium. Ural State University. Ural State University. Russia. Russia. In 2014 he became one of ten inaugural fellows of the European Association for Theoretical Computer Science .. European Association for Theoretical Computer Science. European Association for Theoretical Computer Science