LabCompass

Cyrus Omar

Computer Science · University of Michigan

OpenAlex ORCID
Mid career · publishing since 2008Rising activity
Logic, programming, and type systemsSoftware Engineering ResearchTeaching and Learning ProgrammingSoftware Testing and Debugging TechniquesFormal Methods in Verification

Publications

57

Citations

663

Est. group size

~4

Recurring co-author estimate

Active years

19

Publishing since 2008

In context
Among 784 mid career Computer Science PIs within our index
Citations: 663cohort median 434
Publications / year (recent): 4.8cohort median 3.8

Typically publishes in teams of ~4 · 36% small-team papers (≤3 authors) · across 10 venues

Publication cadence
Publications per year over the last 10 years — averaging 4.8/year recently
2017: 3 publications172018: 4 publications182019: 4 publications192020: 2 publications202021: 2 publications212022: 4 publications222023: 2 publications232024: 2 publications242025: 10 publications10252026: 6 publications26
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: 1 collaborator2020: 0 collaborators2021: 2 collaborators2022: 13 collaborators2023: 4 collaborators2024: 7 collaborators2025: 12 collaborators1719212325
Recent publications
Publishes in
  • arXiv (Cornell University)×9
  • Proceedings of the ACM on Programming Languages×8
  • Artifact Digital Object Group×4
  • ACM SIGPLAN Notices×2
  • Zenodo (CERN European Organization for Nuclear Research)×2
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