Robert Rand

Rand is an Assistant Professor of Computer Science, part of the Programming Languages Research Group and the Chicago Quantum Exchange.

His main interest is in applying techniques from programming languages and formal verification to the domain of quantum computation. Two of his main projects are the QWIRE quantum circuit language (with Jennifer Paykin) and the VOQC verified optimizing compiler (with Kesha Hietala). Currently, he’s interested in verified optimization, error-correction, type systems and programming abstractions for quantum computing.