Verifying Quantum Circuits in GAP
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Explore a cutting-edge approach to verifying quantum circuit equivalence using the GAP programming language in this 18-minute conference talk from the WQS 2024 workshop. Delve into the development of Quantum GAP, a specialized library enabling easy specification of quantum circuits within GAP. Discover how this tool has been applied to verify 30 quantum gate decompositions from previous research in quantum circuit design and optimization. Gain insights into the verification process for ancilla management and the validation of rotational gates. Learn about this ongoing effort presented by Scott Wesley from the University of Waterloo, Canada, as part of the ACM SIGPLAN-sponsored Workshop on Quantum Software (WQS) 2024.
Syllabus
[WQS24] Verifying Quantum Circuits in GAP
Taught by
ACM SIGPLAN
Related Courses
Quantum Information Science II: Efficient Quantum Computing - fault tolerance and complexityMassachusetts Institute of Technology via edX Physical Basics of Quantum Computing
Saint Petersburg State University via Coursera Fundamentals of Quantum Information
Delft University of Technology via edX QC101 Quantum Computing & Intro to Quantum Machine Learning
Udemy Quantum Computing with Qiskit Ultimate Masterclass
Udemy