Liyi Li

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