I hold a PhD in computer science from Carnegie Mellon University, where I was co-advised by Zhihao Jia and Umut Acar. Prior to CMU, I graduated from the Yao Class of Tsinghua University in June 2021. I am interested in compilers and programming languages for quantum computing. My doctoral research primarily focused on the middle position of the quantum compilation problem, including the development of 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 of compilers and algorithms. I have been one of the core developers of typeCart and the Taichi programming language. Additionally, 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: Check out our recent best paper Local Optimization of Quantum Circuits at QCE 2025!