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
Explore automated verification techniques for classical and quantum algorithm implementations in this 49-minute conference talk from the Gemini Center on Quantum Computing's monthly track meeting. Learn about the formal machinery used to verify correct implementation of classical algorithms, including post-quantum cryptography applications, and discover how these verification methods extend to quantum computing algorithms. Gain insights into the mathematical foundations and practical approaches for ensuring functional correctness in both classical and quantum computational systems, with particular emphasis on cryptographic implementations and their quantum counterparts.
