Robert Rand | QuICS

Basili Postdoctoral Fellow (2018-2020)

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.

Publications

2021

K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M., “Proving Quantum Programs Correct”, Schloss Dagstuhl, 2021.

K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M., “A Verified Optimizer for Quantum Circuits”, Proceedings of the ACM on Programming Languages, vol. 5, no. POPL, 2021.

K. Hietala, Li, L., Gaur, A., Green, A., Rand, R., Wu, X., and Hicks, M., “Expanding the VOQC Toolkit”, in The Second International Workshop on Programming Languages for Quantum Computing (PLanQC 2021), 2021.

2019

K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M., “Verified Optimization in a Quantum Intermediate Representation”, 2019.

R. Rand, Paykin, J., Lee, D. - H., and Zdancewic, S., “ReQWIRE: Reasoning about Reversible Quantum Circuits”, EPTCS , vol. 287, 2019.

R. Rand, “Verification Logics for Quantum Programs”, 2019.