ChiQP Lab
The Chicago Quantum Programming Lab, led by Robert Rand at the University of Chicago, is interested in all aspects of programming, software, and verification for quantum computing.
Recent Publications
(2026).
Efficiently Verifying Quantum Programs with Few T Gates.
Verification, Model Checking, and Abstract Interpretation (VMCAI).
(2026).
VyZX: Formal Verification of a Graphical Quantum Language.
ACM Transactions on Programming Languages and Systems (TOPLAS).
(2025).
A Language for Quantifying Quantum Network Behavior.
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA).