I am a first-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 generally interested in solving problems in compilers and related areas. Currently, I am working on Quartz, which is a quantum circuit superoptimizer that automatically generates and verifies circuit transformations for arbitrary quantum gate sets.

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)
  • 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