Shenggang Ying

Latest

• Formal Verification of Quantum Algorithms Using Quantum Hoare Logic
• Quantum Hoare Logic
• Invariants of Quantum Programs: Characterisations and Generation