Robert Rand

Dr. Robert Rand is an Assistant Professor of Computer Science at the University of Chicago, specializing in quantum computing and programming languages. His research develops formal methods for quantum program verification, including the QWIRE quantum circuit language and VOQC optimizing compiler. He leads research at the intersection of programming languages theory and quantum information science.

He teaches courses including Programming Languages, Quantum Programming and Verification, and Advanced Proof Automation. His educational materials include tutorials on quantum circuits and Coq proof assistant techniques.

Research focuses on creating verified toolchains for quantum computation, with recent work on quantum network specification languages and noise-aware compiler optimization. Publications frequently appear in PLDI, POPL, and quantum computing venues.

Dr. Rand is writing a textbook on verified quantum programming and maintains active collaborations with quantum computing research groups internationally.