Robert Rand

Robert Rand

Assistant Professor of Computer Science

John Crerar Library #313

University of Chicago


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

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’m currently looking for new students at all levels: Please reach out!


  • July: PLanQC 2021 was a tremendous success! Thanks to my coorganizers, Matt Amy and Ross Duncan, who helped put together such an amazing program, and to the organizers of PLDI 2021! And congrats to everyone (including my collaborators) who got to present!
  • March: Our follow-up work to VOQC, demonstrating the power of the SQIR programming language and verification tool, was accepted to ITP 2021!
  • January: VOQC wins a Distinguished Paper award at POPL 2021! Write-ups by UMD, UChicago, and us on the SIGPLAN blog!

Recent Publications

Expanding the VOQC Toolkit
Extending Gottesman Types Beyond the Clifford Group
Toward a Type-Theoretic Interpretation of Q#


  • Quantum Programming and Verification, University of Chicago, Spring 2021
  • Programming Proofs, University of Chicago, Winter 2021.
  • Discrete Mathematics, University of Chicago, Fall 2020, 2021
  • Program Analysis and Understanding, University of Maryland, Spring 2019
  • Python Programming, University of Pennsylvania, Fall 2015 and Spring 2016