Michael Hicks

Latest

• Qunity: A Unified Language for Quantum and Classical Computing
• Verified Compilation of Quantum Oracles
• A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
• Proving Quantum Programs Correct
• A Verified Optimizer for Quantum Circuits
• Verified translation between low-level quantum languages
• Formal Verification vs. Quantum Uncertainty