Steve Zdancewic

Latest

• A HoTT Quantum Equational Theory (Extended Version)
• ReQWIRE: Reasoning about Reversible Quantum Circuits
• QWIRE Practice: Formal Verification of Quantum Circuits in Coq
• Phantom Types for Quantum Programs
• QWIRE: A Core Language for Quantum Circuits