Gottesman Types for Quantum Programs

Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey
January 2020
Cite
Type
Conference paper
Publication
Proceedings of the 17th International Conference on Quantum Physics and Logic, QPL
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.