LabCompass

Perry Alexander

Computer Science · University of Michigan

OpenAlex ORCID
Established · publishing since 1990
Advanced Software Engineering MethodologiesFormal Methods in VerificationModel-Driven Software Engineering TechniquesLogic, programming, and type systemsEmbedded Systems Design Techniques

Publications

138

Citations

591

Est. group size

—

Recurring co-author estimate

Active years

37

Publishing since 1990

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

Typically publishes in teams of ~3 · 63% small-team papers (≤3 authors) · across 14 venues

Publication cadence
Publications per year over the last 10 years — averaging 3.0/year recently
2017: 2 publications172018: 1 publication182019: 3 publications192020: 4 publications202021: 5 publications5212022: 5 publications5222023: 2 publications232024: 4 publications242025: 1 publication252026: 3 publications26
Recent publications
Publishes in
  • Lecture notes in computer science×6
  • arXiv (Cornell University)×6
  • Open MIND×2
  • IEEE Security & Privacy×1
  • ACM Transactions on Privacy and Security×1
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