LabCompass

Yuri Gurevich

Computer Science · University of Michigan

OpenAlex ORCID
Established · publishing since 1966
Computability, Logic, AI AlgorithmsLogic, Reasoning, and KnowledgeLogic, programming, and type systemssemigroups and automata theoryFormal Methods in Verification

Publications

438

Citations

10,231

Est. group size

~1

Recurring co-author estimate

Active years

61

Publishing since 1966

In context
Among 615 established Computer Science PIs within our index
Citations: 10,231cohort median 1,709
Publications / year (recent): 5.2cohort median 4.2

Typically publishes in teams of ~2 · 85% small-team papers (≤3 authors) · across 21 venues

Publication cadence
Publications per year over the last 10 years — averaging 5.2/year recently
2017: 13 publications13172018: 8 publications182019: 5 publications192020: 9 publications202021: 10 publications212022: 11 publications222023: 7 publications232024: 4 publications242025: 3 publications252026: 1 publication26
Collaborators per year
Distinct co-authors at University of Michigan each year — a rough indication of whether the group around this researcher has been growing or contracting. An estimate from co-authorship, not a roster: collaborators are not necessarily lab members, and recent years can be under-counted while indexing catches up.
2017: 0 collaborators2018: 0 collaborators2019: 0 collaborators2020: 1 collaborator2021: 0 collaborators2022: 0 collaborators2023: 0 collaborators2024: 0 collaborators2025: 0 collaborators1719212325
Recent publications
Publishes in
  • arXiv (Cornell University)×29
  • Journal of Electronic Materials×3
  • Zenodo (CERN European Organization for Nuclear Research)×3
  • Bulletin of the European Association for Theoretical Computer Science×3
  • SSRN Electronic Journal×3
Similar researchers
By research-topic overlap

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 25, 2026.

Claim or correct this profile