Liyi Li

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