🎓 I'm a Ph.D. student at the University of Chinese Academy of Sciences and a member of the Veri-Q group. My research explores trustworthy quantum software at the intersection of programming languages, formal methods, and software systems.
Currently, I focus on building theoretically grounded and practically useful software methods for complex, dynamic, and fault-tolerant quantum computing—from quantum program analysis and verification and software testing to simulation, execution, and systems software. My recent work includes Veri-Q QSeqSim, a Qiskit-native symbolic simulator for dynamic and sequential circuits developed as part of Veri-Q (PyPI · v0.1.0); SeqQCSim, a tensor-network simulator for sequential quantum circuits; and SymQC, earlier work on symbolic quantum simulation. Our QSeqSim paper appeared at FM 2026 (arXiv).
I'm open to research collaborations on trustworthy quantum software, especially work that connects rigorous foundations with practical tools and systems. If our interests overlap, feel free to reach out.