Robert Rand
Basili Postdoctoral Fellow (2018-2020)
Postdoctoral Researcher, Alumni
Bio
Robert was a Basili postdoctoral fellow from 2018 to 2020 working at the intersection of programming languages, formal verification and quantum computing. A graduate of the University of Pennsylvania's programming languages research group, he co-developed the QWIRE circuit language for writing and proving properties of quantum programs. His current interests include formally verified error-correcting codes, circuit optimizations and abstractions for quantum programming. He is an Assistant Professor in the Computer Science department at the University of Chicago.
Recent Publications
A Verified Optimizer for Quantum Circuits
, , Proceedings of the ACM on Programming Languages, 5, (2021)Expanding the VOQC Toolkit
, , The Second International Workshop on Programming Languages for Quantum Computing (PLanQC 2021), (2021)Proving Quantum Programs Correct
, , 12th International Conference on Interactive Theorem Proving (ITP 2021), 193, 21:1–21:19, (2021)