A Language for Quantifying Quantum Network Behavior

Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soulé, Patrick Eugster
January 2025
Cite
Publication
Proceedings of the ACM on Programming Languages
Robert Rand
Robert Rand
Assistant Professor of Computer Science

My main interest is in applying techniques from programming languages and formal verification to the domain of quantum computation.