Formal Verification of Quantum Stabilizer Code

This video presentation from the CoqPL 2025 workshop explores the formal verification of quantum error correction codes using Coq. Join researchers Qiuyi Feng, Udaya Parampalli, and Christine Rizkallah as they present their approach to verifying quantum stabilizer codes. Learn about their hypothesis that utilizing stabilizer group formalism can significantly reduce verification complexity. The 19-minute talk, sponsored by ACM SIGPLAN, offers insights into the intersection of formal verification methods and quantum computing error correction techniques, presented at the POPL 2025 conference on January 25, 2025.