Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
This conference talk from PLanQC 2025 explores techniques for verifying the equivalence of parameterized quantum circuits, presented by Scott Wesley and Neil Julien Ross from Dalhousie University. Learn how the researchers adapt classical parameterized verification methods to address challenges in ansatz-based quantum computing, which offers solutions to high-value problems in economics, medical science, and material science. The presentation covers their proof-of-concept implementation (available on GitHub) and outlines plans for future work in this critical area of quantum circuit verification. The 22-minute talk was sponsored by ACM SIGPLAN and delivered at the PLanQC 2025 workshop on January 25, 2025.
