News
Recent News Archive
[2026-06] 📢 PC Member — I have been invited to serve as a Program Committee Member for USENIX Security 2027, which will take place in Denver, CO, USA, on August 11-13, 2027.
[2026-06] 📄 Paper Published — Our paper “Hamiltonian-Informed Point Group Symmetry-Respecting Ansätze for the Variational Quantum Eigensolver” has been published online in Journal of Chemical Theory and Computation. DOI · arXiv
Hamiltonian-Informed Point Group Symmetry-Respecting Ansätze for the Variational Quantum Eigensolver
Our article is now available online in Journal of Chemical Theory and Computation, presenting HiUCCSD, a Hamiltonian-informed and symmetry-respecting ansatz for molecular VQE calculations.
Paper Page · DOI · arXiv
[2026-06] 📢 PC Member — I have been invited to serve as a Program Committee Member for SETSS 2026, the International School on Engineering Trustworthy Software Systems.
[2026-05-17] 📄 Paper Published — Our paper “QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits” has been published in the FM 2026 proceedings. DOI · arXiv · PDF
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
Our FM 2026 long tool paper introduces QSeqSim, a symbolic simulator for Qiskit while loops based on sequential quantum circuits.
Paper Page · DOI · arXiv · PDF · GitHub
- [2026-05-13] 📄 Paper Published — Our paper “Constructing Compact ADAPT Unitary Coupled-Cluster Ansatz with Parameter-Based Criterion” has been published online in Journal of Chemical Theory and Computation. DOI · arXiv
Constructing Compact ADAPT Unitary Coupled-Cluster Ansatz with Parameter-Based Criterion
Our article is now available online in Journal of Chemical Theory and Computation, presenting a parameter-based criterion for compact ADAPT-UCC ansatz construction.
Paper Page · DOI · arXiv
- [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
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.
- [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-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.