Li Zhou

Latest

• CoqQ: Foundational Verification of Quantum Programs
• A proof system for disjoint parallel quantum programs
• A Quantum Interpretation of Bunched Logic & Quantum Separation Logic
• Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs
• An Applied Quantum Hoare Logic
• Reasoning about Parallel Quantum Programs