Robert Rand

Postdoctoral Fellow
Computer Science
University of Maryland

I am currently on the job market!
Here are my Research Statement, Teaching Statement and Curriculum Vitae.

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.

I'm working on a book on verified quantum programming! I'll be presenting it at POPL in January, email me if you'd like to use the book for your own course.

I'm currently organizing and chairing PLanQC 2020, the First International Workshop on Programming Languages for Quantum Computing! Join us in New Orleans on January 19th (right before POPL).


Work in Progress

Workshops, Presentations and Posters