An Automata-based Framework for Quantum Circuit Verification

Explore an automata-based framework for quantum circuit verification in this 22-minute conference talk from PLanQC 2025. Presented by researchers from Uppsala University, Academia Sinica, and Brno University of Technology, the talk introduces innovative approaches to verifying quantum circuits using automata theory. Learn about the collaborative research efforts between these institutions as they address challenges in quantum computing verification. The presentation was delivered at the PLanQC 2025 workshop on January 25, 2025, as part of the POPL25 conference sponsored by ACM SIGPLAN.