Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Yuri_Gurevich> ?p ?o. }
Showing items 1 to 63 of
63
with 100 items per page.
- Yuri_Gurevich abstract "Yuri Gurevich is an US-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 viafId "15336161".
- Yuri_Gurevich wikiPageExternalLink id.php?id=7906.
- Yuri_Gurevich wikiPageExternalLink ~gurevich.
- Yuri_Gurevich wikiPageID "16488014".
- Yuri_Gurevich wikiPageRevisionID "598364327".
- Yuri_Gurevich hasPhotoCollection Yuri_Gurevich.
- Yuri_Gurevich name "Gurevich, Yuri".
- 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 type AmericanComputerScientists.
- Yuri_Gurevich type Associate109816771.
- Yuri_Gurevich type CausalAgent100007347.
- Yuri_Gurevich type Colleague109935990.
- Yuri_Gurevich type ComputerScientist109951070.
- Yuri_Gurevich type ComputerUser109951274.
- Yuri_Gurevich type Creator109614315.
- Yuri_Gurevich type Employee110053808.
- Yuri_Gurevich type FellowsOfTheAssociationForComputingMachinery.
- Yuri_Gurevich type FormalMethodsPeople.
- Yuri_Gurevich type Inventor110214637.
- Yuri_Gurevich type LivingPeople.
- Yuri_Gurevich type LivingThing100004258.
- Yuri_Gurevich type MicrosoftEmployees.
- Yuri_Gurevich type Object100002684.
- Yuri_Gurevich type Organism100004475.
- Yuri_Gurevich type Peer109626238.
- Yuri_Gurevich type Person100007846.
- Yuri_Gurevich type PhysicalEntity100001930.
- Yuri_Gurevich type RussianInventors.
- Yuri_Gurevich type Scientist110560637.
- Yuri_Gurevich type Whole100003553.
- Yuri_Gurevich type Worker109632518.
- Yuri_Gurevich type YagoLegalActor.
- Yuri_Gurevich type YagoLegalActorGeo.
- Yuri_Gurevich type Agent.
- Yuri_Gurevich type Person.
- Yuri_Gurevich type Person.
- Yuri_Gurevich type Q215627.
- Yuri_Gurevich type Q5.
- Yuri_Gurevich type Agent.
- Yuri_Gurevich type NaturalPerson.
- Yuri_Gurevich type Thing.
- Yuri_Gurevich type Person.
- Yuri_Gurevich comment "Yuri Gurevich is an US-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 m.03y8h24.
- Yuri_Gurevich sameAs Q8061506.
- Yuri_Gurevich sameAs Q8061506.
- Yuri_Gurevich sameAs Yuri_Gurevich.
- Yuri_Gurevich wasDerivedFrom Yuri_Gurevich?oldid=598364327.
- Yuri_Gurevich depiction Yuri_Gurevich_ETH_Zurich_cropped.JPG.
- Yuri_Gurevich isPrimaryTopicOf Yuri_Gurevich.
- Yuri_Gurevich name "Gurevich, Yuri".