Robert Rand

Registered user since Thu 17 Dec 2015

Name: Robert Rand

Bio: I am a Basili postdoctoral fellow in Programming Languages at the University of Maryland and the Joint Center for Quantum Information and Computer Science. My main interest is in applying techniques from programming languages and formal verification to the domain of quantum computation. My PhD thesis revolved around QWIRE (“choir”), a quantum circuit language and verification tool that I developed jointly with Jennifer Paykin at the University of Pennsylvania. I’m working on Verified Quantum Computing, an introduction to quantum computing in the Coq proof assistant, and SQIRE, a verified intermediate representation for optimizing and compiling quantum programs.

Country: United States

Affiliation: University of Maryland

Personal website:

Research interests: Quantum Computing, Formal Verification, Programming Languages


PLanQC 2020Organizer in Organizing Committee within the PLanQC-track
Chair in Program Committee within the PLanQC-track
POPL 2019Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
CoqPL 2018Author of Phantom Types for Quantum Programs within the -track
POPL 2017Author of QWIRE: A Core Language for Quantum Circuits within the POPL-track
PPS 2016Author of Models for Probabilistic Programs with an Adversary within the PPS 2016-track
POPL 2016Author of T4: Programs and Proofs in the Coq Proof Assistant (Advanced Material) within the Tutorials-track
Author of T4: Programs and Proofs in the Coq Proof Assistant within the Tutorials-track