I am a third-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: Quartz has been accepted to PLDI 2022! Check the extended version with more detailed results on arXiv.


  • Compilers (system side)
  • Quantum computing
  • 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


Chinagraph 2020 Best Open Source Software Award

Awarded to four core developers of the Taichi programming language.

Gold Medal in IOI

Ranked 2nd among 308 participants.
See certificate

CCF Certified Software Professional

5x Full score (top 0.01%).


  • mingkuan {at} cmu.edu