CV
Research Positions
Postdoctoral Research Associate, 2024–Present
School of Informatics, University of Edinburgh
Advisor (PI): Chris Heunen and Robin Kaarsgaard
Education
Ph.D. in Computer Science, 2024
Institute of Software, Chinese Academy of Sciences
Thesis title: Automation Techniques for Quantum Programming: Symbolic Execution and Automatic Differentiation
Supervisor: Prof. Mingsheng Ying
B.S. in Mathematics, 2018
Department of Mathematics, Nanjing University
Service
- Program committee: ECOOP 2026 Artifact Evaluation.
- Journal reviewers: ACM Transactions on Quantum Computing, Information and Software Technology.
- Conference reviewers: PLDI26, QCTiP26, QCNC26, PlanQC26, LICS 2025, QCE 2025, QCNC 2025, QCE 2024, AQIS 2023, QPL 2021, CAV 2021.
Misc
- Hobbies: Badminton, harmonica.
Powered by Jekyll and Minimal Light theme.