Junyi Liu

Latest

• CoqQ: Foundational Verification of Quantum Programs
• Formal Verification of Quantum Algorithms Using Quantum Hoare Logic
• Quantum Hoare Logic