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

• QCE 2025 (IEEE International Conference on Quantum Computing and Engineering 2025), Albuquerque, New Mexico, USA, 2025.
• QCE 2024 (IEEE International Conference on Quantum Computing and Engineering 2024), Québec, Canada, 2024.
• AQIS 2023 (23rd Asian Quantum Information Science Conference), Seoul, Korea, 2023.

Journal Review

• Acta Informatica
• Algorithmica
• Entropy
• Frontiers of Computer Science
• IEEE Transactions on Computers
• IEEE Transactions on Information Theory
• Quantum
• Quantum Information and Computation
• Quantum Information Processing
• Quantum Science and Technology
• SIAM Journal on Control and Optimization
• Theoretical Computer Science

Conference Review

• 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), New Orleans, Louisiana, 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.