LabCompass

Andrei Ștefănescu

Computer Science · University of Michigan

OpenAlex ORCID
Mid career · publishing since 2007
Logic, programming, and type systemsFormal Methods in VerificationSecurity and Verification in ComputingDistributed systems and fault toleranceOrgan and Tissue Transplantation Research

Publications

73

Citations

5,890

Est. group size

~2

Recurring co-author estimate

Active years

20

Publishing since 2007

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

Typically publishes in teams of ~6 · 22% small-team papers (≤3 authors) · across 32 venues

Publication cadence
Publications per year over the last 10 years — averaging 3.6/year recently
2017: 1 publication172018: 4 publications182019: 5 publications192020: 5 publications202021: 4 publications212022: 3 publications222023: 9 publications9232024: 2 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: 0 collaborators2021: 0 collaborators2022: 0 collaborators2023: 0 collaborators2024: 0 collaborators2025: 11 collaborators1719212325
Recent publications
Publishes in
  • Circulation×3
  • Journal of the Louisiana Public Health Association×3
  • JAMA Health Forum×2
  • Journal of Perinatology×2
  • Lecture notes in computer science×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