A Rich Type System for Quantum Programs
Type
Publication
Quantum Information Processing (QIP 2022) Poster
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.