Runyao Duan

Latest

• Verification of Quantum Programs
• Predicate Transformer Semantics of Quantum Programs