Michael Hicks

Latest

• A Verified Optimizer for Quantum Circuits
• A formally certified end-to-end implementation of Shor’s factorization algorithm
• Qunity: A Unified Language for Quantum and Classical Computing
• Expanding the VOQC Toolkit
• Proving Quantum Programs Correct
• A Verified Optimizer for Quantum Circuits
• Tracking Errors through Types in Quantum Programs
• Verified translation between low-level quantum languages