Jianan Yao

Latest

• Giallar: Push-Button Verification for the Qiskit Quantum Compiler
• Gleipnir: Toward Practical Error Analysis for Quantum Programs