World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
64
Citations
16076
World Ranking
2606
National Ranking
1294

Mathematics

D-Index
60
Citations
14103
World Ranking
556
National Ranking
285

Research.com Recognitions

  • 2020 - Fellow of the American Association for the Advancement of Science (AAAS)
  • 2014 - European Association for Theoretical Computer Science (EATCS) Fellow For his development of abstract state machines and for outstanding contributions to algebra, logic, game theory, complexity theory and software engineering
  • 2008 - Member of Academia Europaea
  • 1997 - ACM Fellow Professor Yuri Gurevich is an internationally acclaimed researcher, educator, and leader in the field of foundational issues of computer science.
  • 1995 - Fellow of John Simon Guggenheim Memorial Foundation

Overview

Yuri Gurevich is affiliated with the Medical Research Council in the United Kingdom and has established a significant body of work primarily in the field of Computer Science. Their research spans several key subfields including Artificial Intelligence, Computational Theory and Mathematics, Materials Chemistry, Atomic and Molecular Physics and Optics, as well as Statistical and Nonlinear Physics.

The main topics of their work cover a variety of areas such as Computability, Logic, and AI Algorithms, Quantum Computing Algorithms and Architecture, Advanced Thermoelectric Materials and Devices, Quantum Mechanics and Applications, Logic, Reasoning, and Knowledge, Quantum Information and Cryptography, and Philosophy and History of Science.

Yuri Gurevich has contributed to numerous papers in recognized venues. Recent publications include:

  • "Partial Updates: Exploration" (2020) published in TUGraz OPEN Library (Graz University of Technology)
  • "Formalizing Database Recovery" (2020) published in Zenodo (CERN European Organization for Nuclear Research)
  • "Exergy analysis and optimisation of a two-stage solar thermoelectric generator with tapered legs" (2022) published in International Journal of Exergy
  • "Thomson effect and nonlinear performance of thermoelectric generator" (2021) published in Heat and Mass Transfer
  • "Gurevich Abstract State Machines and Schoenhage Storage Modification Machines" (2020) published in Zenodo (CERN European Organization for Nuclear Research)

The frequent coauthors collaborating with Yuri Gurevich include Andreas Blass, Mkpamdi Eke, Chika Maduabuchi, Ravita Lamba, and Howard O. Njoku.

Publications have frequently appeared in venues such as arXiv (Cornell University), SSRN Electronic Journal, Heat and Mass Transfer, Zenodo (CERN European Organization for Nuclear Research), and Measurement.

Yuri Gurevich's recognitions include the Fellow of the American Association for the Advancement of Science (AAAS) awarded in 2020, the European Association for Theoretical Computer Science (EATCS) Fellow in 2014 for contributions across algebra, logic, game theory, complexity theory, and software engineering, and membership in Academia Europaea since 2008. Earlier honors included election as ACM Fellow in 1997 and Fellow of the John Simon Guggenheim Memorial Foundation in 1995.

Best Publications

  • Evolving algebras 1993: Lipari guide

    Yuri Gurevich

  • The classical decision problem

    Egon Boerger;Erich Grädel;Yuri Gurevich

  • Sequential abstract-state machines capture sequential algorithms

    Yuri Gurevich

  • Logic and the Challenge of Computer Science

    Yuri Gurevich

  • Trees, automata, and games

    Yuri Gurevich;Leo Harrington

  • Fixed-point extensions of first-order logic

    Yuri Gurevich;Saharon Shelah;Saharon Shelah

  • Toward logic tailored for computational complexity

    Yuri Gurevich

  • Generating finite state machines from abstract state machines

    Wolfgang Grieskamp;Yuri Gurevich;Wolfram Schulte;Margus Veanes

  • The Semantics of the C Programming Language

    Yuri Gurevich;James K. Huggins

  • Average case completeness

    Yuri Gurevich

  • Abstract state machines capture parallel algorithms

    Andreas Blass;Yuri Gurevich

  • On the unique satisfiability problem

    Andreas Blass;Yuri Gurevich

  • Intuitionistic logic with strong negation

    Yuri Gurevich

  • Monadic Second-Order Theories

    Y. Gurevich

  • Evolving Algebras: an Attempt to Discover Semantics.

    Yuri Gurevich

  • Expected computation time for Hamiltonian path problem

    Yuri Gurevich;Saharon Shelah

  • DKAL: Distributed-Knowledge Authorization Language

    Yuri Gurevich;Itay Neeman

  • Semantic essence of AsmL

    Yuri Gurevich;Benjamin Rossman;Wolfram Schulte

  • Algebras of feasible functions

    Yuri Gurevich

  • Metafinite model theory

    Erich Grädel;Yuri Gurevich

  • What is an algorithm

    Yuri Gurevich

  • On Finite Model Theory

    Yuri Gurevich

Frequent Co-Authors

Andreas Blass
Andreas Blass University of Michigan–Ann Arbor
Saharon Shelah
Saharon Shelah Hebrew University of Jerusalem
Margus Veanes
Margus Veanes Microsoft (United States)
Egon Börger
Egon Börger University of Pisa
Wolfram Schulte
Wolfram Schulte Microsoft (United States)
Erich Grädel
Erich Grädel RWTH Aachen University
Nikolaj Bjørner
Nikolaj Bjørner Microsoft (United States)
Andrei Voronkov
Andrei Voronkov University of Manchester
Nikolai Tillmann
Nikolai Tillmann Facebook (United States)
Jan Van den Bussche
Jan Van den Bussche Hasselt University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Studying Mathematics in the USA opens doors to various advanced online degree options that complement your skills and broaden career prospects. For example, many students transition into business fields by enrolling in mba programs that accept transfer credits, allowing you to build on your mathematical foundation without losing prior academic progress.

If you are interested in data-driven roles, pursuing a master's in data analytics can be a strategic move. You can explore top-ranked data analytics masters programs that refine your ability to interpret complex data sets and derive actionable insights.

For those considering a quicker and more accessible option, the market offers easy mba programs to get into. These programs provide a streamlined path to gaining essential business knowledge with fewer entry barriers.

Additionally, many students appreciate the flexibility of the easiest online mba program options. These allow working professionals to balance study and career commitments effectively while earning a valuable credential.

Best Scientists Citing Yuri Gurevich

Trending Scientists

Recently Published Articles