Chan Gu Kang

Latest

• Quantum Probabilistic Model Checking for Time-Bounded Properties
• Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification
• Modular Component-Based Quantum Circuit Synthesis