Robert Rand

Postdoctoral Fellow
Computer Science
University of Maryland
rrand AT

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 currently interested in verified optimization, error-correction and programming abstractions for quantum computing.


Work in Progress

Workshops, Presentations and Posters