About

I am Ji Guan, an Associate Professor at the Institute of Software, Chinese Academy of Sciences. In 2014, I received my bachelor’s degree in computational mathematics from Sichuan University, China, and then obtained my Ph.D. degree in quantum computing supervised by Prof. Mingsheng Ying and Prof. Yuan Feng from Centre for Quantum Software and Information of University of Technology Sydney, Australia in 2018.

I am leading the group of FM4QC, Formal Methods for Quantum Computing. My research focuses on systematically addressing the security, privacy, and reliability of quantum algorithms, programs, and hardware systems by developing formal method theories, algorithms, and tools. By extending formal methods to the quantum domain, I aim to ensure that quantum systems operate reliably, securely, and efficiently.

Learn more about my research

Latest News

• [2026-03] 📄 Paper Accepted — Our paper “Experimental robustness benchmark of quantum neural network on a superconducting quantum processor” has been accepted at SCIENCE CHINA Physics, Mechanics & Astronomy.
• [2026-02] 📄 Paper Accepted — Our paper “Lin-search: Scaling Exact Synthesis of CNOT Circuits via HybridIterative Deepening Search” has been accepted at DAC 2026. 📄
• [2026-02] 📄 Paper Accepted — Our paper “A quantum game designed for property partitioning with implementation on superconducting quantumprocessors” has been accepted at TCS. 📄
• [2026-02] 📄 Paper Accepted — Our paper “QSegSim: A Symbolic Simulator for Qiskit WhileLoops using Sequential Quantum Circuits” has been accepted at FM 2026. 📄
• [2026-01] 🏆Awarded Chinese Academy of Sciences “Future Partner Network” Grant (International Collaboration & Exchange), jointly with A\Prof. Alfons Laarman (Leiden University, the Netherlands).
• [2025-11] 📢 PC Member: I serve as a TPC member of IEEE ICC 2026 and please submit your paper.
• [2025-11] 📢 PC Member: I serve as a PC member of QCNC 2026 and please submit your paper.
• [2025-10] 📢 PC Member: I serve as a PC member of CAV 2026 and please submit your paper.
• [2025-09] 🏆Awarded CCF–QuantumCTek Quantum Superconducting Quantum Computing Collaborative Research Project.
• [2025-09] 📄 Paper Accepted — Our paper “Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits” has been accepted at IEEE TCAD. 📄 arXiv:2503.10340

See more news

Join Our Team

We are recruiting Master’s and Ph.D. students, research interns, and postdoctoral researchers interested in the intersection of quantum computing and formal methods. Current topics include:

• Model checking and verification of quantum systems
• Quantum privacy protection mechanisms
• Trustworthy quantum machine learning

Learn more about research directions, support, and how to apply.

Awards and Honors

• 2024 Young Elite Scientists Sponsorship Program (中国科协青年人才托举工程), China Association for Science and Technology
  Recommended by China Computer Federation (CCF), only 5 scholars.
• 2023 Beijing High-Level Overseas Talent Program (Top 30 people)
  Recognized for outstanding contributions in the field of quantum computing and formal methods.
• 2023 ISCAS Outstanding Youth Award
  Awarded by the Institute of Software, Chinese Academy of Sciences.
• 2022 Youth Innovation Promotion Association Membership (CAS)
  Acknowledging innovative achievements in quantum system verification and trustworthy quantum machine learning.
• 2014-2018 UTS ARC Discovery Scholarship
  Awarded during Ph.D. study at the University of Technology Sydney.
• 2018 UTS FEIT PhD Post-Thesis Publication Scholarship
  Recognized for exceptional research contributions post-thesis submission of the University of Technology Sydney.

Selected Publications

1. Guan, J., Feng, Y., Turrini, A., and Ying, M. (2024).
   Measurement-based Verification of Quantum Markov Chains.
   CAV 2024.
   🔗 Full Paper

2. Guan, J., Fang, W., and Ying, M. (2022).
   Verifying Fairness in Quantum Machine Learning.
   CAV 2022
   🔗 Full Paper

3. Guan, J., Fang, W., and Ying, M. (2021).
   Robustness Verification of Quantum Classifiers.
   CAV 2021
   🔗 Full Paper

4. Guan, J. (2025).
   Optimal Mechanisms for Quantum Local Differential Privacy.
   ACM CCS 2025.
   🔗 Full Paper

5. Guan, J., Fang, W., Huang, M., and Ying, M. (2023).
   Detecting Violations of Differential Privacy for Quantum Algorithms.
   ACM CCS 2023.
   🔗 Full Paper

View full publication list

Service

I contribute to the research community through editorial service, program committee work, and peer review.

Program Committee Member

• CAV 2025/2026 - International Conference on Computer Aided Verification
• QCNC 2025/2026 - International Conference on Quantum Communications, Networking, and Computing
• IEEE ICC 2026 - IEEE International Conference on Communications

Reviewer

I have served as a reviewer for several top-tier journals and conferences, including:
ASPLOS 2025, CDC 2024, QIP2024, CSL 2024, AQIS 2023, CAV 2021, IEEE QCE 2022, 2023 and 2024, PLanQC 2021, QPL 2020, COCOON 2018 and 2019, ICFEM 2019, SIAM Journal on Control and Optimization, the Science Bulletin, Journal of Computer Science and Technology, Information Processing Letters, IEEE Transactions on Emerging Topics in Computational Intelligence

Team

Ph.D. Students

• Mingyu Huang
• Zihao Li

Master’s Students

• Jiqi Li
• Zhengyang Zhou
• Yecheng Qin
• Yi Zhan

Visiting Scholars

• Peng Yan
• Jingyi Mei

Interns

• Yanling Lin

Funding Support

As a Principal Investigator, I have secured competitive research grants from:

• National Natural Science Foundation of China (NSFC)
• Chinese Academy of Sciences (CAS)
• Beijing Municipal Government
• Institute of Software, Chinese Academy of Sciences