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

Join Our Team

We are recruiting Master’s and Ph.D. students, postdoctoral researchers, research interns, and research/software engineers 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. Li, J., Mei, J., Fang, W., and Guan, J. (2026).
   Formal Verification of Quantum Ancilla Safety.
   CAV 2026.
   Accepted · Paper by request

2. Xu, M., Chen, Y., and Guan, J. (2026).
   Model Checking Matrix Product States Against Linear Chain Logic.
   CAV 2026.
   Accepted · Paper by request

3. Guan, J., Feng, Y., Turrini, A., and Ying, M. (2024).
   Measurement-based Verification of Quantum Markov Chains.
   CAV 2024.
   Paper · DOI · arXiv

4. Guan, J., Fang, W., and Ying, M. (2022).
   Verifying Fairness in Quantum Machine Learning.
   CAV 2022
   Paper · DOI · arXiv

5. Guan, J., Fang, W., and Ying, M. (2021).
   Robustness Verification of Quantum Classifiers.
   CAV 2021
   Paper · DOI · arXiv

6. Guan, J. (2025).
   Optimal Mechanisms for Quantum Local Differential Privacy.
   ACM CCS 2025.
   Paper · DOI · arXiv

7. Guan, J., Fang, W., Huang, M., and Ying, M. (2023).
   Detecting Violations of Differential Privacy for Quantum Algorithms.
   ACM CCS 2023.
   Paper · DOI · arXiv

View full publication list

Service

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

Program Committee Member

• CAV 2025 / CAV 2026 - International Conference on Computer Aided Verification
• USENIX Security 2027 - USENIX Security Symposium
• QCNC 2025 / QCNC 2026 - International Conference on Quantum Communications, Networking, and Computing
• IEEE ICC 2026 - IEEE International Conference on Communications
• IEEE Quantum Week 2026 - IEEE International Conference on Quantum Computing and Engineering
• SETSS 2025 / SETSS 2026 - International School on Engineering Trustworthy Software Systems
• ChinaSoft 2025 - China National Software Conference

Area Chair

• AI for Science Workshop at ICML 2026 - AI Scientists: Tools, Co-authors, or Founders?

Editorial Board Member

• Theoretical Computer Science Section, Frontiers in Computer Science

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

Global Visitors

Country distribution and pageviews for this homepage.

Click the map to open the full visitor details page.