Yangjia Li

Latest

• A proof system for disjoint parallel quantum programs
• Quantum Relational Hoare Logic with Expectations
• Formal Verification of Quantum Algorithms Using Quantum Hoare Logic
• Quantum Hoare Logic
• Reasoning about Parallel Quantum Programs
• Algorithmic Analysis of Termination Problems for Quantum Programs