I am a second-year PhD student majoring in computer science at Carnegie Mellon University, co-advised by Zhihao Jia and Umut Acar. I graduated from Yao Class of Tsinghua University in June 2021. I am interested in compilers and programming languages for quantum computing. My research to date has been in the middle position of the quantum compilation problem: Quartz, a quantum circuit superoptimizer that automatically generates and verifies circuit transformations for arbitrary quantum gate sets.

I am also excited to explore other aspects about compilers and algorithms. I am one of the core developers of the Taichi programming language. I visited MIT CSAIL from February to July in 2020, where I worked with Frédo Durand and Yuanming Hu on Taichi-related projects.

News: Quartz has been accepted to PLDI 2022! Check the extended version with more detailed results on arXiv.


  • Compilers (system side)
  • Quantum computing
  • Domain-specific languages
  • Algorithms (design, analysis, implementation)


  • PhD in Computer Science, 2021-

    Carnegie Mellon University

  • BEng in Computer Science, 2017-2021

    Yao Class, Tsinghua University