Q*: Implementing Quantum Separation Logic in F*

Kesha Hietala, Sarah Marshall, Robert Rand, Nikhil Swamy
January 2022
Cite
Type
Conference paper
Publication
The Third International Workshop on Programming Languages for Quantum Computing (PLanQC 2022)
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.