Write a Blog >>
Robert Rand

Registered user since Thu 17 Dec 2015

Name:Robert Rand
Bio:

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 working on Verified Quantum Computing, an introduction to quantum computing in the Coq proof assistant, and SQIRE, a verified intermediate representation for optimizing and compiling quantum programs.

Country:United States
Affiliation:University of Maryland
Research interests:Quantum Computing, Formal Verification, Programming Languages

Contributions

POPL 2020 [T2] Verified Quantum Computing
PLanQC 2020 A Verified Optimizer for Quantum Circuits
Session Chair of Introduction and Invited Talks (part of PLanQC)
Organizer in Organizing Committee within the PLanQC-track
Tracking Errors through Types in Quantum Programs
Verified translation between low-level quantum languages
Chair in Program Committee within the PLanQC-track
Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages
Show activities from other conferences

POPL 2020-profile
View general profile