Yuan Feng

Latest

• Verification of Distributed Quantum Programs
• Quantum Hoare Logic with Classical Variables
• A proof system for disjoint parallel quantum programs
• Model Checking Quantum Systems: Principles and Algorithms
• Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs
• Verification of Quantum Programs
• Predicate Transformer Semantics of Quantum Programs