LabCompass

Amr Sabry

Computer Science · Indiana University

OpenAlex ORCID
Established · publishing since 1984
Logic, programming, and type systemsQuantum Computing Algorithms and ArchitectureComputability, Logic, AI AlgorithmsLogic, Reasoning, and KnowledgeFormal Methods in Verification

Publications

127

Citations

3,017

Est. group size

—

Recurring co-author estimate

Active years

43

Publishing since 1984

Research summary
AI-generated

Amr Sabry works at the intersection of programming languages and quantum computing, developing theoretical foundations and practical tools for how quantum computations can be expressed, verified, and executed. His recent work includes designing programming languages and type systems for quantum and reversible computation, formal reasoning about quantum programs, and systems for scheduling hybrid quantum-classical workflows. Much of this connects formal logic and language design to the practical challenges of running programs on quantum hardware.

Programming languages and type systemsQuantum computing and quantum programmingReversible computationFormal methods and verificationFunctional programming

Publication activity has been steady-to-growing over the past decade, averaging about 5.8 papers per year over the last five years with a notable uptick in the most recent year.

Generated by claude-opus-4-8 from public bibliographic data · Jul 9, 2026

Funding
Public award records

No award with a current end date on record.

4 earlier awards
  • NSF 1217454Sep 2012 – Aug 2016 · $275k awarded

    SHF: Small: Information Effects

  • NSF 1116725Aug 2011 – Jul 2014 · $317k awarded

    SHF: Small: Reversible Concurrency

  • NSF 0196063Aug 2000 – May 2003 · $200k awarded

    CAREER: Controlling Space Properties of Higher-Order Typed Programs

  • NSF 9733088Jun 1998 – Dec 2000 · $200k awarded

    CAREER: Controlling Space Properties of Higher-Order Typed Programs

Matched to public NIH RePORTER and NSF records by name and institution. Awards from other agencies are not shown, and a match is not always found — this list may be incomplete.

In context
Among 649 established Computer Science PIs within our index
Citations: 3,017cohort median 1,725
h-index: 27cohort median 19
Publications / year (recent): 5.8cohort median 4.2

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

Publication cadence
Publications per year over the last 10 years — averaging 5.8/year recently
2017: 1 publication172018: 9 publications9182019: 1 publication192020: 2 publications202021: 5 publications212022: 6 publications222023: 6 publications232024: 6 publications242025: 3 publications252026: 8 publications26
Collaborators per year
Distinct co-authors at Indiana University 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 collaborators at the same institution2018: 4 collaborators at the same institution2019: 0 collaborators at the same institution2020: 0 collaborators at the same institution2021: 1 collaborator at the same institution2022: 1 collaborator at the same institution2023: 2 collaborators at the same institution2024: 0 collaborators at the same institution2025: 0 collaborators at the same institution1719212325
Recent publications
Publishes in
  • arXiv (Cornell University)×18
  • Lecture notes in computer science×5
  • Proceedings of the ACM on Programming Languages×5
  • Journal of Chemical Theory and Computation×2
  • Journal of Functional Programming×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 Sep 1, 2026.

Claim or correct this profile