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.
PhD in Computer Science, 2021-
Carnegie Mellon University
BEng in Computer Science, 2017-2021
Yao Class, Tsinghua University