Verified translation between low-level quantum languages

Kartik Singhal, Robert Rand, Michael Hicks
January 2020
Cite
Type
Conference paper
Publication
The First International Workshop on Programming Languages for Quantum Computing (PLanQC 2020)
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.