Amr Sabry

Logic, programming, and type systems Quantum Computing Algorithms and Architecture Computability, Logic, AI Algorithms Logic, Reasoning, and Knowledge Formal Methods in Verification

Publications

123

Citations

2,982

Est. group size

—

Recurring co-author estimate

Active years

Publishing since 1984

Publication cadence

Publications per year over the last 10 years — averaging 5.8/year recently

Recent publications

Free quantum computing
Proceedings of the National Academy of Sciences · 2026
Free Quantum Computing
arXiv (Cornell University) · 2026
Qurator: Scheduling Hybrid Quantum-Classical Workflows Across Heterogeneous Cloud Providers
arXiv (Cornell University) · 2026
Qurator: Scheduling Hybrid Quantum-Classical Workflows Across Heterogeneous Cloud Providers
arXiv (Cornell University) · 2026
Half the Interference, Most of the Answer: Approximate Quantum Simulation via Path-Sum Pruning
arXiv (Cornell University) · 2026
Half the Interference, Most of the Answer: Approximate Quantum Simulation via Path-Sum Pruning
arXiv (Cornell University) · 2026
A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware
Proceedings of the ACM on Programming Languages · 2025
Quantum Simulation Programming via Typing
arXiv (Cornell University) · 2025
A Formalization of Measurement-Commuting Unitaries
2025
With a Few Square Roots, Quantum Computing Is as Easy as Pi
Proceedings of the ACM on Programming Languages · 2024
Development of a Multimodal Framework for Deepfake Detection: Combining Visual and Audio Analysis
Proceedings of the World Congress on Electrical Engineering and Computer Systems and Science · 2024
How to Bake a Quantum Π
Proceedings of the ACM on Programming Languages · 2024
Compositional Reversible Computation
Lecture notes in computer science · 2024
Scheme Pearl: Quantum Continuations
ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam) · 2024
Learning Spectral Properties of Boolean Functions: A Unifying Theme in Quantum Algorithms
2024

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

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 9, 2026.

Claim or correct this profile