Robert Rand

Registered user since Thu 17 Dec 2015

Name: Robert Rand

Bio: I am an Assistant Professor of Computer Science at the University of Chicago, 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. Some of my major projects include 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.

Country: United States

Affiliation: University of Chicago

Personal website: http://people.cs.uchicago.edu/~rand/

Twitter: https://twitter.com/certifiablyrand

GitHub: https://github.com/rnrand

Research interests: Quantum Computing, Formal Verification, Programming Languages

Contributions

SPLASH 2020Committee Member in External Review Committee within the OOPSLA-track
PLanQC 2020Author of A Verified Optimizer for Quantum Circuits within the PLanQC-track
Session Chair of Introduction and Invited Talks (part of PLanQC)
Organizer in Organizing Committee within the PLanQC-track
Author of Tracking Errors through Types in Quantum Programs within the PLanQC-track
Author of Verified translation between low-level quantum languages within the PLanQC-track
Chair in Program Committee within the PLanQC-track
Author of Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages within the PLanQC-track
POPL 2020Author of [T2] Verified Quantum Computing within the TutorialFest-track
POPL 2019Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
CoqPL 2018Author of Phantom Types for Quantum Programs within the -track
POPL 2017Author of QWIRE: A Core Language for Quantum Circuits within the POPL-track
PPS 2016Author of Models for Probabilistic Programs with an Adversary within the PPS 2016-track
POPL 2016Author of T4: Programs and Proofs in the Coq Proof Assistant (Advanced Material) within the Tutorials-track
Author of T4: Programs and Proofs in the Coq Proof Assistant within the Tutorials-track