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
Professional Experience
- February 2026 - present: Tenure-Track Associate Professor, School of Computer Science, Shanghai Jiao Tong University
- September 2024 - January 2026: Senior Researcher, School of Informatics, University of Edinburgh
- September 2022 - September 2024: Designated Assistant Professor, Graduate School of Mathematics, Nagoya University
Journal Service
Conference Service
- CCPQT 2026 (5th IEEE International Conference on Computing, Communication, Perception and Quantum Technology), Chair of “Quantum Software: Theory and Development” Seminar, Huludao, China, 2026.
- QCE 2026 (IEEE International Conference on Quantum Computing and Engineering 2025), Program Committee Member, Toronto, Ontario, Canada, 2026.
- TQC 2026 (21st Conference on the Theory of Quantum Computation, Communication, and Cryptography), Program Committee Member, Sherbrooke, Québec, Canada, 2026.
- QCE 2025 (IEEE International Conference on Quantum Computing and Engineering 2025), Program Committee Member, Albuquerque, New Mexico, United States, 2025.
- QCE 2024 (IEEE International Conference on Quantum Computing and Engineering 2024), Program Committee Member, Québec, Canada, 2024.
- AQIS 2023 (23rd Asian Quantum Information Science Conference), Program Committee Member, Seoul, Korea, 2023.
Journal Review
Conference Review
- ESA 2026 (34th European Symposium on Algorithms), L’Aquila, Italy, 2026.
- ICALP 2026 (53rd EATCS International Colloquium on Automata, Languages, and Programming), London, United Kingdom, 2026.
- QCTiP 2026 (Quantum Computing Theory in Practice 2026), Oxford, United Kingdom, 2026.
- QCNC 2026 (International Conference on Quantum Communications, Networking, and Computing 2026), Kobe, Japan, 2026.
- STOC 2026 (58th ACM Symposium on Theory of Computing), Salt Lake City, Utah, United States, 2026.
- STACS 2026 (43rd International Symposium on Theoretical Aspects of Computer Science), Grenoble, France, 2026.
- SOFSEM 2026 (51st International Conference on Current Trends in Theory and Practice of Computer Science), Kraków, Poland, 2026.
- ITCS 2026 (17th Innovations in Theoretical Computer Science Conference), Milan, Italy, 2026.
- QIP 2026 (29th Annual Quantum Information Processing Conference), Riga, Latvia, 2026.
- NeurIPS 2025 (39th Annual Conference on Neural Information Processing Systems), San Diego, California, United States, 2025.
- AQIS 2025 (25th Asian Quantum Information Science Conference), Hong Kong, China, 2025.
- TQC 2025 (20th Conference on the Theory of Quantum Computation, Communication, and Cryptography), Bengaluru, India, 2025.
- ICALP 2025 (52nd EATCS International Colloquium on Automata, Languages, and Programming), Aarhus, Denmark, 2025.
- ISIT 2025 (2025 IEEE International Symposium on Information Theory), Ann Arbor, Michigan, United States, 2025.
- SoCG 2025 (41st International Symposium on Computational Geometry), Kanazawa, Japan, 2025.
- QCNC 2025 (International Conference on Quantum Communications, Networking, and Computing 2025), Nara, Japan, 2025.
- QIP 2025 (28th Annual Quantum Information Processing Conference), Raleigh, North Carolina, United States, 2025.
- ITU Kaleidoscope 2024 (15th ITU Kaleidoscope Academic Conference), New Delhi, India, 2024.
- AQIS 2024 (24th Asian Quantum Information Science Conference), Sapporo, Japan, 2024.
- FOCS 2024 (65th IEEE Symposium on Foundations of Computer Science), Chicago, Illinois, United States, 2024.
- TQC 2024 (19th Conference on the Theory of Quantum Computation, Communication, and Cryptography), Okinawa, Japan, 2024.
- ICALP 2024 (51st EATCS International Colloquium on Automata, Languages and Programming), Tallinn, Estonia, 2024.
- QIP 2024 (27th Conference on Quantum Information Processing), Taipei, Taiwan, China, 2024.
- SODA 2024 (ACM-SIAM Symposium on Discrete Algorithms 2024), Alexandria, Virginia, United States, 2024.
- QIP 2023 (26th Conference on Quantum Information Processing), Ghent, Belgium, 2023.
- CIAC 2023 (13th International Conference on Algorithms and Complexity), Larnaca, Cyprus, 2023.
- SODA 2022 (ACM-SIAM Symposium on Discrete Algorithms 2022), virtual, 2022.
- CAV 2021 (33rd International Conference on Computer-Aided Verification), Los Angeles, California, United States, 2021.
- POST 2019 (8th International Conference on Principles of Security and Trust), Prague, Czech, 2019.
