Shih-Han Hung

Latest

• Proving Quantum Programs Correct
• A Verified Optimizer for Quantum Circuits