Chris Heunen

University of Edinburgh — United Kingdom

Physics and Astronomy · Physical Sciences

25h-index2.0kcitations155works1.12yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Quantum Mechanics and Applications(48), Advanced Algebra and Logic(37), Homotopy and Cohomology in Algebraic Topology(36), Algebraic structures and combinatorial models(35), Computability, Logic, AI Algorithms(31)

Publications155 total

Hadamard-Pi: Equational Quantum Programming
Proceedings of the ACM on Programming Languages·2026Open Access
Causal Coverage in Ordered Locales and Spacetimes
arXiv (Cornell University)·2025Open Access
Independent States are Orthogonal: A Categorical Framework to Treat Probability Geometrically
Lecture notes in computer science·2025
One rig to control them all
arXiv (Cornell University)·2025Open Access
Distributed Quantum Computing Across Heterogeneous Hardware with Hybrid Dependency Hypergraphs
2025Open Access
String Diagrams for Defect-Based Surface Code Computing
Electronic Proceedings in Theoretical Computer Science·2025Open Access
Dagger categories of relations: The equivalence of dilatory dagger categories and epi-regular independence categories
arXiv (Cornell University)·2025· 1 citedOpen Access
Quantum Circuits Are Just a Phase
arXiv (Cornell University)·2025Open Access
Dagger Categories and the Complex Numbers: Axioms for the Category of Finite-Dimensional Hilbert Spaces and Linear Contractions
Applied Categorical Structures·2025· 1 citedOpen Access
Hilbert $*$-categories: Where limits in analysis and category theory meet
ArXiv.org·2025Open Access
Categories of sets with infinite addition
Journal of Pure and Applied Algebra·2025Open Access
Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
Proceedings of the ACM on Programming Languages·2025· 1 citedOpen Access
Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
arXiv (Cornell University)·2024· 1 citedOpen Access
How to Bake a Quantum Π
Proceedings of the ACM on Programming Languages·2024· 2 citedOpen Access
A Brief Review of Quantum Machine Learning for Financial Services
arXiv (Cornell University)·2024· 4 citedOpen Access
Ordered locales
Journal of Pure and Applied Algebra·2024Open Access
Axioms for the category of Hilbert spaces and linear contractions
Bulletin of the London Mathematical Society·2024· 5 citedOpen Access
Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions
2024Open Access
With a Few Square Roots, Quantum Computing Is as Easy as Pi
Proceedings of the ACM on Programming Languages·2024· 6 citedOpen Access
Compositional Reversible Computation
Lecture notes in computer science·2024Open Access
page 1 of 8Next →

Frequent Co-authors

Sam Staton(5), Hongseok Yang(5), Ohad Kammar(5), Nicolaas P. Landsman(4), Bas Spitters(4), Samson Abramsky(4), Bob Coecke(3), Bart Jacobs(3), Manuel L. Reyes(3), Frank Wood(2), Jamie Vicary(2), Pablo Andrés-Martí­nez(2), T. A. Fritz(2), Ichiro Hasuo(2), Sean Tull(2), Oscar Cunningham(2), Robin Kaarsgaard(2), Aleks Kissinger(1), Adam Ścibior(1), Matthijs Vákár(1)