Contact Info
Crerar 313

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


Focus Areas: Quantum Computing, Formal Verification, Quantum Programming

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.


Programming Languages

Devising new and better ways of programming the computers of today and tomorrow

Systems, Architecture & Networking

Design and analysis of computing systems: cloud, edge, Internet, quantum, and beyond


The mathematical foundations of computation, including algorithm design, complexity and logic

Labs & Groups

Programming Languages Group

Interested in all aspects of programming language design and implementation, ranging from theoretical foundations to practical applications.

EPiQC (Enabling Practical-Scale Quantum Computing)

Fred Chong
A multi-disciplinary, multi-institutional NSF Expedition in Computing, led by UChicago, that spans quantum algorithms, software, and physical machines.

News & Events

Card Image e097383
Card Image
UChicago CS News

Assistant Professor Robert Rand Receives Air Force Young Investigator Grant

Card Image fb35978
Card Image
UChicago CS News

Quantum Compiler Co-Created by Robert Rand Named Distinguished Paper at POPL 21

Card Image 45d5286
Card Image
UChicago CS News

New Asst. Prof. Robert Rand Writes the Language of Tomorrow’s Quantum Computers

Card Image 830c212
Card Image
UChicago CS News

Four New Faculty Join UChicago Computer Science for 2020-21

Card Image dde7a64
Card Image
Past Event

Robert Rand (Maryland) – How to Program Your Quantum Computer – and Get It Right

arrow-down-largearrow-left-largearrow-right-large-greyarrow-right-large-yellowarrow-right-largearrow-right-smallbutton-arrowclosedocumentfacebookfacet-arrow-down-whitefacet-arrow-downPage 1CheckedCheckedicon-apple-t5backgroundLayer 1icon-google-t5icon-office365-t5icon-outlook-t5backgroundLayer 1icon-outlookcom-t5backgroundLayer 1icon-yahoo-t5backgroundLayer 1internal-yellowinternalintranetlinkedinlinkoutpauseplaypresentationsearch-bluesearchshareslider-arrow-nextslider-arrow-prevtwittervideoyoutube