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

Journal Editor

• Entropy, Guest Editor of Special Issue “The Role of Entropy in Quantum Computation and Algorithms”, 2025-2026.

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
• Communications Physics
• Computer Science Review
• 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

• STOC 2026 (58th ACM Symposium on Theory of Computing), Salt Lake City, Utah, USA, 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, USA, 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.