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. I lead the Chicago Quantum Programming Languages Laboratory (ChiQP).

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:https://rand.cs.uchicago.edu

Twitter:https://twitter.com/certifiablyrand

GitHub:https://github.com/rnrand

Research interests:Quantum Computing, Formal Verification, Programming Languages

Contributions

POPL 2023	Committee Member in Program Committee within the POPL-track Author of Qunity: A Unified Language for Quantum and Classical Computing within the POPL-track
ICFP 2022	Author of Verified Quantum Computing within the Tutorials-track
PLanQC 2022	Committee Member in Program Committee within the PLanQC-track Committee Member in Organizing Committee within the PLanQC-track Author of Q: Implementing Quantum Separation Logic in F within the PLanQC-track Session Chair of Quantum programming languages and paradigms (part of PLanQC)
PLDI 2022	Author of (POPL 2021) A Verified Optimizer for Quantum Circuits within the SIGPLAN Track-track Committee Member in PLDI within the PLDI-track
Q-SE 2022	Committee Member in Program Committee within the Q-SE 2022-track
CC 2022	Keynote Speaker of Writing and Verifying a Quantum Optimizing Compiler within the CC Research Papers-track
PLanQC 2021	Session Chair of Session 3: Reliable quantum computing (part of PLanQC 2021) Author of Extending Gottesman Types Beyond the Clifford Group within the PLanQC 2021-track Author of Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem within the PLanQC 2021-track Committee Member in Organizing Committee within the PLanQC 2021-track Committee Member in Program Committee within the PLanQC 2021-track Author of Expanding the VOQC Toolkit within the PLanQC 2021-track
SPLASH 2021	Speaker of Invited Speaker within the Ask Me Anything (AMA)-track
POPL 2021	Author of A Verified Optimizer for Quantum Circuits within the POPL-track
SPLASH 2020	Committee Member in External Review Committee within the OOPSLA-track Session Chair of R-4 (part of OOPSLA)
POPL 2020	Author of [T2] Verified Quantum Computing within the TutorialFest-track
PLanQC 2020	Author 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 2019	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
CoqPL 2018	Author of Phantom Types for Quantum Programs within the -track
POPL 2017	Author of QWIRE: A Core Language for Quantum Circuits within the POPL-track
POPL 2016	Author 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
PPS 2016	Author of Models for Probabilistic Programs with an Adversary within the PPS 2016-track