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.

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.


  • 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