I am a first-year PhD student majoring in computer science at Carnegie Mellon University. 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.

Interests

  • Compilers (system side)
  • Domain-specific languages
  • Algorithms (design, analysis, implementation)

Education

  • PhD in Computer Science, 2021-

    Carnegie Mellon University

  • BEng in Computer Science, 2017-2021

    Yao Class, Tsinghua University

Accomplish­ments

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%).

Contact

  • mingkuan {at} cmu.edu