Robert Rand

Postdoctoral Fellow
Computer Science
University of Maryland

Update: I'll be joining the University of Chicago this summer!
Prospective students, feel free to reach out!

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. Two of my main projects are the QWIRE quantum circuit language (with Jennifer Paykin) and the VOQC verified optimizing compiler (with Kesha Hietala). I'm currently interested in verified optimization, error-correction, type systems and programming abstractions for quantum computing.

I'm working on a book on verified quantum programming! Email me if you'd like to use the book for your own course.

I recently organized PLanQC 2020, the First International Workshop on Programming Languages for Quantum Computing! Check out the program and watch the talks!


Work in Progress

Workshops, Presentations and Posters