Toward a Type-Theoretic Interpretation of Q#

and Statically Enforcing the No-Cloning Theorem

International Workshop on Programming Languages for Quantum Computing (PLanQC 2021)

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.