Matches in DBpedia 2015-10 for { ?s ?p "Yuri Gurevich is an American computer scientist and mathematician and the inventor of abstract state machines. He is Principal Researcher at Microsoft Research, where he founded the Foundations of Software Engineering group,and he is professor emeritus at the University of Michigan.Gurevich was educated in the Soviet Union, and taught in Israel before coming to the United States. The best known work of his Soviet period is on the classical decision problem."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Yuri_Gurevich comment "Yuri Gurevich is an American computer scientist and mathematician and the inventor of abstract state machines. He is Principal Researcher at Microsoft Research, where he founded the Foundations of Software Engineering group,and he is professor emeritus at the University of Michigan.Gurevich was educated in the Soviet Union, and taught in Israel before coming to the United States. The best known work of his Soviet period is on the classical decision problem.".