← All research areas
Research area 04
Quantum Reasoning
Quantum programs · quantum logic · post-quantum security
Reasoning about quantum software when running it is not enough: separation logic for quantum state, retrieval-grounded repair of quantum programs, and the control-plane decisions that make services quantum-safe.
Publications (3)
Filter in publications →QuantumTrustKG: Provenance-Aware Orchestration for Quantum-Safe Microservices
ICSOC 2026 (Main Track, CORE Rank A, Acceptance Rate: 64/240, 27%), Lodz, Poland · December 2026
CORE ATo appearWhen Grounding Hurts: Retrieval and Validation for LLM Repair of Quantum Programs
ICECCS 2026 (Research Track), Brisbane, Australia · November 2026
To appearA Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantum Programs Based on Separation Logic
POPL 2022 (CORE Rank A*), Philadelphia, USA · January 2022
CORE A*