Beyond Separation: Toward a Specification Language for Modular Reasoning about Quantum Programs

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.