معرفی
Robert Rand is an Assistant Professor of Computer Science at the University of Chicago, affiliated with the Programming Languages Research Group and the Chicago Quantum Exchange. His research bridges programming languages, formal verification, and quantum computation.
Dr. Rand focuses on Quantum Computing, Formal Verification, and Quantum Programming. He develops tools like QWIRE for quantum circuit representation and VOQC for verified quantum compilers. Current work includes a textbook on verified quantum programming.
His publications span quantum compiler verification, algebraic quantum languages, and formal methods in quantum computing. Recent projects involve error-correction, type systems, and quantum-classical interoperability through Qunity.
Scientific Awards
- 2023 AFOSR Young Investigator Research Program Award
- France and Chicago Collaborating in the Sciences Award
- 2022 Keynote Speaker, Compiler Construction
- Distinguished paper awards: PLDI 2021, POPL 2019
- Victor Basili Postdoctoral Fellowship (UMD)
Dr. Rand actively collaborates on NSF-funded EPiQC (Enabling Practical-Scale Quantum Computing) and teaches advanced topics in quantum programming languages. He is currently working on a textbook on verified quantum programming and maintains active research groups in both Programming Languages and Quantum Computing.
