Type
Publication
Proceedings of the 19th International Conference on Quantum Physics and Logic (QPL 2022)
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.