Summary

Currently employed at Institute of Software, Chinese Academy of Sciences. Ph.D. student at the Institute of Software, Chinese Academy of Sciences.
Research interests: quantum algorithms and quantum program logic.

Publications

• Quantum Multi-Level Estimation of Functionals of Discrete Distributions

  2026
  53rd International Colloquium on Automata, Languages, and Programming (ICALP 2026)

  View Publication
• Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions

  2026
  41st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2026)

  View Publication
• Quantum Hamiltonian Certification

  2026
  Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2026)

  View Publication
• Levy-Khintchine Structure Enables Fast-Forwardable Lindbladian Simulation

  2025
  arXiv:2511.10253

  View Publication
• On Estimating the Quantum Tsallis Relative Entropy

  2025
  arXiv:2510.00752

  View Publication
• Quantum Approximate k-Minimum Finding

  2025
  Proceedings of the 33rd Annual European Symposium on Algorithms (ESA 2025)

  View Publication
• Quantum Speedup for Sampling Random Spanning Trees

  2025
  Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025)

  View Publication
• Quantum Speedup for Hypergraph Sparsification

  2025
  Proceedings of the 42nd International Conference on Machine Learning (ICML 2025)

  View Publication
• Complete Quantum Relational Hoare Logics from Optimal Transport Duality

  2025
  2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025)

  View Publication
• Logarithmic-Regret Quantum Learning Algorithms for Zero-Sum Games

  2023
  Advances in Neural Information Processing Systems 36 (NeurIPS 2023)

  View Publication
• A Provably Efficient Algorithm for Linear Markov Decision Process with Low Switching Cost

  2021
  arXiv:2101.00494

  View Publication

Presentations

• Talk 1 on Relevant Topic in Your Field

  2012
  UC San Francisco, Department of Testing

  San Francisco, CA, USA
• Tutorial 1 on Relevant Topic in Your Field

  2013
  UC-Berkeley Institute for Testing Science

  Berkeley, CA, USA
• Talk 2 on Relevant Topic in Your Field

  2014
  London School of Testing

  London, UK
• Conference Proceeding talk 3 on Relevant Topic in Your Field

  2014
  Testing Institute of America 2014 Annual Conference

  Los Angeles, CA, USA

Portfolio

• Portfolio item number 1
  Portfolio

  Short description of portfolio item number 1
  

  View Project