Yuri Gurevich is a prominent computer scientist known for his contributions to the fields of theoretical computer science, particularly in areas such as algorithms, formal methods, and computational models. He is particularly recognized for his work on the development of the Abstract State Machine (ASM) model, which is a conceptual framework used for describing the behavior of computational systems. Gurevich has published numerous papers and has been influential in formalizing the semantics of programming languages and algorithms.
Articles by others on the same topic
There are currently no matching articles.