Minbo Gao
I am a Ph.D. student at the Institute of Software, Chinese Academy of Sciences, advised by Prof. Mingsheng Ying and Prof. Zhengfeng Ji. I received my B.Sc. in Computer Science and Technology from Yao Class, Institute for Interdisciplinary Information Sciences, Tsinghua University in 2021.
Research
My research interests lie in quantum algorithms and quantum program logic.
In quantum algorithms, I am particularly interested in problems motivated by optimization, including graph and discrete optimization problems, distributional and learning-related tasks, and quantum algorithms for quantum dynamics and simulation.
In quantum program logic, I am interested in relational quantum Hoare logics, quantum optimal transport, and optimization-based methods for developing logical and semantic results for quantum programs.
Professional Service
- Conference reviewer: ITCS 2023; QIP 2023-2026; STOC 2024; NeurIPS 2024-2025; QCE 2023-2026; AQS 2023; TQC 2024, 2026; QCrypto 2024; QCNC 2025; STACS 2026; ICALP 2026; ICLR 2025-2026; AISTATS 2025-2026; AAAI 2026 (PC).
- Journal reviewer: TPAMI; Quantum; ACM Transactions on Quantum Computing.
- Notable Reviewer, ICLR 2025.