Presentations
- Hadamard-Pi: Equational Quantum Programming
- 01/2026: a contributed talk at POPL 2026 in Rennes, France.
- Verifying Fault-Tolerance of Quantum Error Correction Codes
- 08/2025: an online talk invited by Yu-Fang Chen at Institute of Information Science, Academia Sinica, Taiwan.
- 07/2025: a contributed talk at CAV 2025 in Zagreb, Croatia.
- 02/2025: an invited talk at Quantum Error Correction Journal Club, Quantum Software Lab, University of Edinburgh, UK.
- Symbolic Execution for Quantum Error Correction Programs
- 04/2025: an online talk invited by Yuan Feng at the Department of Computer Science and Technology, Tsinghua University, China
- Differentiable Quantum Programming with Unbounded Loops
- 07/2023: an invited talk at 2023 CCF Forum for Distinguished Ph.D. Candidates in Theoretical Computer Science at Hong Kong Polytechnic University, Hong Kong.
Powered by Jekyll and Minimal Light theme.