Yuri Gurevich is an American

United States

The United States of America is a federal constitutional republic comprising fifty states and a federal district...

 computer scientist

Computer scientist

A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....

 and mathematician

Mathematician

A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....

 and the inventor of abstract state machines

Abstract State Machines

In computer science, an abstract state machine is a state machine operating on states which are arbitrary data structures .The ASM Method is a practical and scientifically well-founded systems engineering method which bridges...

. He is currently Principal Researcher at Microsoft Research

Microsoft Research

Microsoft Research is the research division of Microsoft created in 1991 for developing various computer science ideas and integrating them into Microsoft products. It currently employs Turing Award winners C.A.R. Hoare, Butler Lampson, and Charles P...

, where he founded the Foundations of Software Engineering group,
and he is professor emeritus at the University of Michigan

University of Michigan

The University of Michigan is a public research university located in Ann Arbor, Michigan in the United States. It is the state's oldest university and the flagship campus of the University of Michigan...

.

Gurevich was educated in the Soviet Union

Soviet Union

The Soviet Union , officially the Union of Soviet Socialist Republics , was a constitutionally socialist state that existed in Eurasia between 1922 and 1991....

, and taught in Israel

Israel

The State of Israel is a parliamentary republic located in the Middle East, along the eastern shore of the Mediterranean Sea...

 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

Saharon Shelah

Saharon Shelah is an Israeli mathematician. He is a professor of mathematics at the Hebrew University of Jerusalem and Rutgers University in New Jersey.-Biography:...

 on
monadic

Monadic predicate calculus

In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic , and there are no function letters...

 second-order

Second-order logic

In logic and mathematics second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and type theory....

 theories

Theory (mathematical logic)

In mathematical logic, a theory is a set of sentences in a formal language. Usually a deductive system is understood from context. An element \phi\in T of a theory T is then called an axiom of the theory, and any sentence that follows from the axioms is called a theorem of the theory. Every axiom...

. The Forgetful Determinacy Theorem of Gurevich-Harrington

Leo Harrington

Leo Anthony Harrington is a professor of mathematics at the University of California, Berkeley who works inrecursion theory, model theory, and set theory.* Harrington and Jeff Paris proved the Paris–Harrington theorem....

 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

Finite model theory

Finite Model Theory is a subarea of model theory . MT is the branch of mathematical logic which deals with the relation between a formal language and its interpretations . FMT is a restriction of MT to interpretations of finite structures, i.e...

 and the theory of abstract state machines. He has also contributed to average-case complexity

Average-case complexity

Average-case complexity is a subfield of computational complexity theory that studies the complexity of algorithms on random inputs.The study of average-case complexity has applications in the theory of cryptography....

 theory.

Gurevich is an ACM Fellow, a Guggenheim Fellow

Guggenheim Fellowship

Guggenheim Fellowships are American grants that have been awarded annually since 1925 by the John Simon Guggenheim Memorial Foundation to those "who have demonstrated exceptional capacity for productive scholarship or exceptional creative ability in the arts." Each year, the foundation makes...

, a member of Academia Europaea

Academia Europaea

Academia Europæa is a European non-governmental scientific academy founded in 1988. Its members are scientists and scholars who collectively aim to promote learning, education and research. It publishes European Review through Cambridge Journals....

, and Dr. Honoris Causa of Hasselt University

Hasselt University

Hasselt University is a university with campuses in Hasselt and Diepenbeek, Belgium. It was founded in 1971, as the Limburgs Universitair Centrum...

 in Belgium

Belgium

Belgium , officially the Kingdom of Belgium, is a federal state in Western Europe. It is a founding member of the European Union and hosts the EU's headquarters, and those of several other major international organisations such as NATO.Belgium is also a member of, or affiliated to, many...

 and of Ural State University

Ural State University

The Ural State University is located in the city of Yekaterinburg, Sverdlovsk Oblast, Russian Federation. Founded in 1920, it was an exclusive educational establishment made of several institutes which later became independent universities and schools.In 1936 the university was named after one of...

 in Russia

Russia

Russia or , officially known as both Russia and the Russian Federation , is a country in northern Eurasia. It is a federal semi-presidential republic, comprising 83 federal subjects...

.

External links

• Gurevich's Microsoft Home page
• Yuri Gurevich, Mathematics Genealogy Project
  Mathematics Genealogy Project
  The Mathematics Genealogy Project is a web-based database for the academic genealogy of mathematicians. As of September, 2010, it contained information on approximately 145,000 mathematical scientists who contribute to "research-level mathematics"...