VMCAI 2026 Jan 13, 2026 1 min read Youngchan Cho presented Efficiently Verifying Quantum Programs with Few T Gates at VMCAI 2026! ChiQP The University of Chicago Quantum Programming Lab