News

Recent News Archive

• [2026-05] 📢 Area Chair — I have been invited to serve as an Area Chair for the AI for Science Workshop at ICML 2026.
• [2026-05] 📢 PC Member — I have been invited to serve as a PC member for IEEE Quantum Week 2026.
• [2026-04-18] 🎉 Two Papers Accepted — Our papers “Formal Verification of Quantum Ancilla Safety” and “Model Checking Matrix Product States Against Linear Chain Logic” have been accepted at CAV 2026.
• [2026-04] 📘 New Book Chapter Published — Our contributed chapter has been officially published in Springer’s Quantum Robustness in Artificial Intelligence. Chapter PDF

New Book Chapter

Quantum Robustness in Artificial Intelligence

Our chapter on adversarial robustness in quantum machine learning is now officially available in Springer’s Quantum Robustness in Artificial Intelligence: Principles and Applications.

Chapter Page · Chapter PDF

• [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 Hybrid Iterative 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 quantum processors” has been accepted at TCS. 📄
• [2026-02] 📄 Paper Accepted — Our paper “QSeqSim: A Symbolic Simulator for Qiskit While Loops 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
• [2025-08] 📄 Paper Accepted — Our paper “Checking continuous stochastic logic against quantum continuous-time Markov chains” has been accepted at Logical Methods in Computer Science (LMCS). 📄 arXiv:2202.05412
• [2025-07] 📄 Paper Accepted — My solo author paper “Optimal Mechanisms for Quantum Local Differential Privacy” has been accepted at ACM CCS 2025. 📄 DOI · arXiv:2407.13516
• [2025-06] 📄 Talk Accepted — My talk “Certifying Adversarial Robustness in Quantum Machine Learning: From Theory to Physical Validation “ has been accepted at The First Workshop on Verification of Quantum Computing (VQC 2025).
• [2025-06] 📢 PC Member: I serve as a PC member of SETSS 2025.
• [2025-06] 📢 PC Member: I serve as a PC member of ChinaSoft 2025.
• [2025-05] 📄 New Paper — Experimental robustness benchmark of quantum neural network on a superconducting quantum processor 📄 arXiv:2505.16714

In collaboration with USTC, we experimentally evaluated the adversarial robustness of 20-qubit quantum neural networks on the Wukong superconducting quantum computer. The study includes training, adversarial attacks, adversarial learning, and robustness certification on both classical and quantum datasets. Results show that QNNs possess intrinsic robustness advantages, and adversarial training significantly enhances their resilience. Our experiments also validate the tightness of theoretical fidelity-based robustness bounds.

• [2025-03] 🏆 Award Received: I received the Young Elite Scientists Sponsorship Program (中国科协青年人才托举工程), CAST (China Association for Science and Technology).
• [2024-12] 📢 PC Member: I serve as a PC member of CAV 2025.
• [2024-11] 📢 PC Member: I serve as a PC member of QCNC 2025.
• [2024-04] 📄 Paper Accepted: Our paper “Measurement-based Verification of Quantum Markov Chains” has been accepted at CAV 2024.
• [2023-11] 📄 New Publication: “Detecting Violations of Differential Privacy for Quantum Algorithms” is published in ACM CCS 2023.
• [2023-05] 🏆 Award Received: I received the Beijing High-Level Overseas Talent Program Award.