# Yuri Gurevich

> American computer scientist

**Wikidata**: [Q8061506](https://www.wikidata.org/wiki/Q8061506)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Yuri_Gurevich)  
**Source**: https://4ort.xyz/entity/yuri-gurevich

## Summary
Yuri Gurevich is an American computer scientist known for his contributions to theoretical computer science and logic. He is a Fellow of the Association for Computing Machinery (ACM) and has made significant contributions to the field of abstract state machines.

## Biography
- Born: May 7, 1940, in Mykolaiv, Ukraine
- Nationality: United States
- Education: Ural State University
- Known for: Contributions to theoretical computer science and abstract state machines
- Employer(s): University of Michigan, Microsoft
- Field(s): Computer science, theoretical computer science, logic

## Contributions
Yuri Gurevich has made significant contributions to theoretical computer science, particularly in the area of abstract state machines. He has published numerous papers on this topic and has been influential in developing the theory and applications of abstract state machines. Gurevich has also worked at Microsoft, where he has contributed to the company's research efforts in computer science. His work has been recognized with several awards, including the Guggenheim Fellowship in 1995 and the ACM Fellowship in 1997.

## FAQs
### Q: What is Yuri Gurevich known for?
A: Yuri Gurevich is known for his contributions to theoretical computer science, particularly in the area of abstract state machines. He has published numerous papers on this topic and has been influential in developing the theory and applications of abstract state machines.

### Q: Where did Yuri Gurevich work?
A: Yuri Gurevich has worked at the University of Michigan and Microsoft. He has also been affiliated with the Association for Computing Machinery (ACM) and Academia Europaea.

### Q: What awards has Yuri Gurevich received?
A: Yuri Gurevich has received several awards, including the Guggenheim Fellowship in 1995 and the ACM Fellowship in 1997. He has also received an honorary doctorate from Hasselt University in 1998.

## Why They Matter
Yuri Gurevich's work on abstract state machines has had a significant impact on the field of theoretical computer science. His contributions have helped to develop a rigorous mathematical foundation for modeling and analyzing complex systems. Gurevich's work has influenced many researchers in the field and has led to the development of new tools and techniques for software engineering and verification. Without his contributions, the field of theoretical computer science would be less advanced, and many of the tools and techniques used today would not exist.

## Notable For
- Fellow of the Association for Computing Machinery (ACM)
- Guggenheim Fellowship recipient (1995)
- Honorary doctorate from Hasselt University (1998)
- Contributions to the theory of abstract state machines
- Work at Microsoft and the University of Michigan

## Body
### Early Life and Education
Yuri Gurevich was born on May 7, 1940, in Mykolaiv, Ukraine. He received his education at Ural State University, where he studied computer science and mathematics.

### Career
Gurevich has had a distinguished career in computer science, working at both the University of Michigan and Microsoft. At the University of Michigan, he has been a professor of computer science and engineering, where he has taught and conducted research in theoretical computer science. At Microsoft, he has been a researcher, contributing to the company's efforts in computer science and software engineering.

### Research Contributions
Gurevich's research has focused on theoretical computer science, particularly in the area of abstract state machines. He has published numerous papers on this topic, developing the theory and applications of abstract state machines. His work has been influential in the field, and he has been recognized with several awards for his contributions.

### Awards and Honors
Gurevich has received several awards and honors for his work in computer science. He was awarded the Guggenheim Fellowship in 1995, which is a prestigious award given to individuals who have demonstrated exceptional capacity for productive scholarship or exceptional creative ability in the arts. In 1997, he was named a Fellow of the Association for Computing Machinery (ACM), which is one of the highest honors in the field of computer science. He has also received an honorary doctorate from Hasselt University in 1998.

### Legacy
Yuri Gurevich's work on abstract state machines has had a lasting impact on the field of theoretical computer science. His contributions have helped to develop a rigorous mathematical foundation for modeling and analyzing complex systems. Gurevich's work has influenced many researchers in the field and has led to the development of new tools and techniques for software engineering and verification. His legacy continues to inspire and influence researchers in the field of computer science.

## References

1. Freebase Data Dumps
2. Mathematics Genealogy Project
3. [Source](https://eecs.engin.umich.edu/people/gurevich-yuri/)
4. Guggenheim Fellows database
5. ACM Digital Library
6. [Source](https://awards.acm.org/fellows/award-recipients)
7. [Source](https://www.uhasselt.be/UH/OverUHasselt/feiten-en-cijfers/Eredoctoraten-lijst.html)
8. International Standard Name Identifier
9. Virtual International Authority File
10. CiNii Research
11. www.ae-info.org
12. IdRef