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

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

Journal Review

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

Conference Review

• 15th ITU Kaleidoscope Academic Conference, New Delhi, India, 2024.
• 24th Asian Quantum Information Science Conference (AQIS), Sapporo, Japan, 2024.
• 65th IEEE Symposium on Foundations of Computer Science (FOCS), Chicago, Illinois, USA, 2024.
• 19th Conference on the Theory of Quantum Computation, Communication, and Cryptography (TQC), Okinawa, Japan, 2024.
• 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP), Tallinn, Estonia, 2024.
• Quantum Information Processing 2024 (QIP), Taipei, Taiwan, China, 2024.
• ACM-SIAM Symposium on Discrete Algorithms 2024 (SODA), Alexandria, Virginia, USA, 2024.
• Quantum Information Processing 2023 (QIP), Ghent, Belgium, 2023.
• 13th International Conference on Algorithms and Complexity (CIAC), Larnaca, Cyprus, 2023.
• ACM-SIAM Symposium on Discrete Algorithms 2022 (SODA), virtual, 2022.
• 33rd International Conference on Computer-Aided Verification (CAV), Los Angeles, California, USA, 2021.
• 8th International Conference on Principles of Security and Trust (POST), Prague, Czech, 2019.