Nengkun Yu

Latest

• On Incorrectness Logic for Quantum Programs
• A Quantum Interpretation of Bunched Logic & Quantum Separation Logic
• Quantum Abstract Interpretation
• Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs
• An Applied Quantum Hoare Logic
• Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs
• Verification of Quantum Programs