I am a fourth-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 typeCart and 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: Atlas has been accepted to SC 2024! More details coming soon.