Type
Publication
2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE)
QPL 2022 video:
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.