CV
Education
- B.Sc. in Computer Science, Tsinghua University, 2017
- Ph.D. in Computer Science, Tsinghua University, 2022
- Thesis: Sequential Quantum Circuits: Formal Models and Verification
- Advisor: Prof. Mingsheng Ying
Program Committee Member
Journal Review
Conference Review
- 52nd EATCS International Colloquium on Automata, Languages, and Programming (ICALP 2025), Aarhus, Denmark, 2025.
- 2025 IEEE International Symposium on Information Theory (ISIT 2025), Ann Arbor, Michigan, United States, 2025.
- 41st International Symposium on Computational Geometry (SoCG 2025), Kanazawa, Japan, 2025.
- International Conference on Quantum Communications, Networking, and Computing 2025 (QCNC 2025), Nara, Japan, 2025.
- 28th Annual Quantum Information Processing Conference (QIP 2025), New Orleans, Louisiana, United States, 2025.
- 15th ITU Kaleidoscope Academic Conference, New Delhi, India, 2024.
- 24th Asian Quantum Information Science Conference (AQIS 2024), Sapporo, Japan, 2024.
- 65th IEEE Symposium on Foundations of Computer Science (FOCS 2024), Chicago, Illinois, United States, 2024.
- 19th Conference on the Theory of Quantum Computation, Communication, and Cryptography (TQC 2024), Okinawa, Japan, 2024.
- 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP 2024), Tallinn, Estonia, 2024.
- 27th Conference on Quantum Information Processing (QIP 2024), Taipei, Taiwan, China, 2024.
- ACM-SIAM Symposium on Discrete Algorithms 2024 (SODA 2024), Alexandria, Virginia, United States, 2024.
- 26th Conference on Quantum Information Processing (QIP 2023), Ghent, Belgium, 2023.
- 13th International Conference on Algorithms and Complexity (CIAC 2023), Larnaca, Cyprus, 2023.
- ACM-SIAM Symposium on Discrete Algorithms 2022 (SODA 2022), virtual, 2022.
- 33rd International Conference on Computer-Aided Verification (CAV 2021), Los Angeles, California, United States, 2021.
- 8th International Conference on Principles of Security and Trust (POST 2019), Prague, Czech, 2019.
