Type
Publication
Quantum
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.