Formally Verifying Functional Correctness in a Quantum World

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.