Formal Verification of Gottesman Semantics

Publication
International Conference on Quantum Physics and Logic (QPL 2021) Poster
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.