Xiaodi Wu

Latest

• A Verified Optimizer for Quantum Circuits
• A formally certified end-to-end implementation of Shor’s factorization algorithm
• Expanding the VOQC Toolkit
• A Verified Optimizer for Quantum Circuits