Chan Gu Kang

According to our database, Chan Gu Kang authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification.

Chan Gu Kang, Joonghoon Lee, Hakjoo Oh

Proc. ACM Program. Lang., 2024

Quantum Probabilistic Model Checking for Time-Bounded Properties.

Seungmin Jeon, Kyeongmin Cho, Chan Gu Kang, Janggun Lee, Hakjoo Oh, Jeehoon Kang

Proc. ACM Program. Lang., 2024

2023

Modular Component-Based Quantum Circuit Synthesis.

Chan Gu Kang, Hakjoo Oh

Proc. ACM Program. Lang., April, 2023