Robert Rand

robert-rand's picture
Basili Postdoctoral Fellow
2115 Atlantic Building
Robert is a Basili postdoctoral fellow 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.