Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Yuri_Gurevich> ?p ?o }
Showing triples 1 to 99 of
99
with 100 triples per page.
- Yuri_Gurevich abstract "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. In Israel, Gurevich worked with Saharon Shelah onmonadic second-order theories. The Forgetful Determinacy Theorem of Gurevich-Harrington is of that period as well. 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. He has also contributed to average-case complexity theory.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.In 2014 he became one of ten inaugural fellows of the European Association for Theoretical Computer Science.".
- Yuri_Gurevich thumbnail Yuri_Gurevich_ETH_Zurich_cropped.JPG?width=300.
- Yuri_Gurevich wikiPageExternalLink id.php?id=7906.
- Yuri_Gurevich wikiPageExternalLink ~gurevich.
- Yuri_Gurevich wikiPageID "16488014".
- Yuri_Gurevich wikiPageLength "3161".
- Yuri_Gurevich wikiPageOutDegree "38".
- Yuri_Gurevich wikiPageRevisionID "676687662".
- Yuri_Gurevich wikiPageWikiLink ACM_Fellow.
- Yuri_Gurevich wikiPageWikiLink Abstract_state_machines.
- Yuri_Gurevich wikiPageWikiLink Academia_Europaea.
- Yuri_Gurevich wikiPageWikiLink Association_for_Computing_Machinery.
- Yuri_Gurevich wikiPageWikiLink Average-case_complexity.
- Yuri_Gurevich wikiPageWikiLink Belgium.
- Yuri_Gurevich wikiPageWikiLink Category:American_computer_scientists.
- Yuri_Gurevich wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Yuri_Gurevich wikiPageWikiLink Category:Formal_methods_people.
- Yuri_Gurevich wikiPageWikiLink Category:Guggenheim_Fellows.
- Yuri_Gurevich wikiPageWikiLink Category:Living_people.
- Yuri_Gurevich wikiPageWikiLink Category:Members_of_Academia_Europaea.
- Yuri_Gurevich wikiPageWikiLink Category:Microsoft_employees.
- Yuri_Gurevich wikiPageWikiLink Category:Russian_inventors.
- Yuri_Gurevich wikiPageWikiLink Category:University_of_Michigan_faculty.
- Yuri_Gurevich wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Yuri_Gurevich wikiPageWikiLink Computer_scientist.
- Yuri_Gurevich wikiPageWikiLink European_Association_for_Theoretical_Computer_Science.
- Yuri_Gurevich wikiPageWikiLink Finite_model_theory.
- Yuri_Gurevich wikiPageWikiLink Guggenheim_Fellowship.
- Yuri_Gurevich wikiPageWikiLink Hasselt_University.
- Yuri_Gurevich wikiPageWikiLink Honorary_degree.
- Yuri_Gurevich wikiPageWikiLink Honoris_Causa.
- Yuri_Gurevich wikiPageWikiLink Israel.
- Yuri_Gurevich wikiPageWikiLink Leo_Harrington.
- Yuri_Gurevich wikiPageWikiLink Mathematician.
- Yuri_Gurevich wikiPageWikiLink Mathematics_Genealogy_Project.
- Yuri_Gurevich wikiPageWikiLink Microsoft_Research.
- Yuri_Gurevich wikiPageWikiLink Monadic_predicate_calculus.
- Yuri_Gurevich wikiPageWikiLink Professor_emeritus.
- Yuri_Gurevich wikiPageWikiLink Professors_in_the_United_States.
- Yuri_Gurevich wikiPageWikiLink Russia.
- Yuri_Gurevich wikiPageWikiLink Saharon_Shelah.
- Yuri_Gurevich wikiPageWikiLink Second-order_logic.
- Yuri_Gurevich wikiPageWikiLink Soviet_Union.
- Yuri_Gurevich wikiPageWikiLink Theory_(mathematical_logic).
- Yuri_Gurevich wikiPageWikiLink United_States.
- Yuri_Gurevich wikiPageWikiLink University_of_Hasselt.
- Yuri_Gurevich wikiPageWikiLink University_of_Michigan.
- Yuri_Gurevich wikiPageWikiLink Ural_State_University.
- Yuri_Gurevich wikiPageWikiLink File:Yuri_Gurevich_ETH_Zurich_cropped.JPG.
- Yuri_Gurevich wikiPageWikiLinkText "Gurevich, Yuri".
- Yuri_Gurevich wikiPageWikiLinkText "Yuri Gurevich".
- Yuri_Gurevich hasPhotoCollection Yuri_Gurevich.
- Yuri_Gurevich name "Gurevich, Yuri".
- Yuri_Gurevich shortDescription "American computer scientist".
- Yuri_Gurevich wikiPageUsesTemplate Template:Authority_control.
- Yuri_Gurevich wikiPageUsesTemplate Template:Commons_category.
- Yuri_Gurevich wikiPageUsesTemplate Template:Compu-scientist-stub.
- Yuri_Gurevich wikiPageUsesTemplate Template:Persondata.
- Yuri_Gurevich wikiPageUsesTemplate Template:Reflist.
- Yuri_Gurevich description "American computer scientist".
- Yuri_Gurevich subject Category:American_computer_scientists.
- Yuri_Gurevich subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Yuri_Gurevich subject Category:Formal_methods_people.
- Yuri_Gurevich subject Category:Guggenheim_Fellows.
- Yuri_Gurevich subject Category:Living_people.
- Yuri_Gurevich subject Category:Members_of_Academia_Europaea.
- Yuri_Gurevich subject Category:Microsoft_employees.
- Yuri_Gurevich subject Category:Russian_inventors.
- Yuri_Gurevich subject Category:University_of_Michigan_faculty.
- Yuri_Gurevich subject Category:Year_of_birth_missing_(living_people).
- Yuri_Gurevich hypernym Scientist.
- Yuri_Gurevich type Agent.
- Yuri_Gurevich type Article.
- Yuri_Gurevich type List.
- Yuri_Gurevich type Person.
- Yuri_Gurevich type Scientist.
- Yuri_Gurevich type Article.
- Yuri_Gurevich type Employee.
- Yuri_Gurevich type List.
- Yuri_Gurevich type Member.
- Yuri_Gurevich type Method.
- Yuri_Gurevich type Scientist.
- Yuri_Gurevich type Person.
- Yuri_Gurevich type Agent.
- Yuri_Gurevich type NaturalPerson.
- Yuri_Gurevich type Thing.
- Yuri_Gurevich type Q215627.
- Yuri_Gurevich type Q5.
- Yuri_Gurevich type Person.
- 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.".
- Yuri_Gurevich label "Yuri Gurevich".
- Yuri_Gurevich sameAs Category:Yuri_Gurevich.
- Yuri_Gurevich sameAs m.03y8h24.
- Yuri_Gurevich sameAs Q8061506.
- Yuri_Gurevich sameAs Q8061506.
- Yuri_Gurevich wasDerivedFrom Yuri_Gurevich?oldid=676687662.
- Yuri_Gurevich depiction Yuri_Gurevich_ETH_Zurich_cropped.JPG.
- Yuri_Gurevich isPrimaryTopicOf Yuri_Gurevich.
- Yuri_Gurevich name "Gurevich, Yuri".