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.
