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 News
May 2026 Ben Caldwell successfully defended their thesis! Congratulations, Dr. Caldwell!!!
January 2026 VyZX: Formal Verification of a Graphical Quantum Language was accepted to TOPLAS! We will also be presenting VyZX at PLDI 2026!
January 2026 Youngchan Cho presented Efficiently Verifying Quantum Programs with Few T Gates at VMCAI 2026!
September 2025 Adrian Lehmann successfully defended his thesis! Congratulations, Dr. Lehmann!!!
August 2025 Compositional Quantum Control Flow with Efficient Compilation in Qunity with Mikahil Mints, Finn Voichick and Leonidas Lampropoulos was accepted to OOPSLA 2025! This is the first implementation of the Qunity quantum programming language, now with generalized pattern matching!