I am a first-year Ph.D. student at the Department of Computer Science, Princeton University.
Before joining Princeton, I did my undergraduate at Paul G. Allen School of Computer Science & Engineering. I was privileged to be advised by and work with Prof. Zachary Tatlock, Dr. Steven Lyubomirsky and all other members in the PLSE and SAMPL group.
I am interested in all aspects of Programming Languages (PL), and I specifically focus on improving programming tools (e.g. Deep Learning compilers) leveraging PL techniques such as term rewriting and formal verification.
My name is pronunced as /xɤˊ/ /tɤˊ/ /ɥœnˊ/. I would also like to be called as Mike.
Resume | Github | Twitter | LinkedIn | Google ScholarResearch Interests
Programming Languages, Formal Methods, Deep Learning CompilersContact
mikehe [at] princeton.edu
CS Building 244 & Friend Center for Engineering Education
I love classical music and enjoy playing the violin. I've been playing the violin for 0x12 years. I passed the Level 9 test certified by the Central Conservatory of Music when I was in middle school. Some recordings are available @ Bilibili
I purchased a design of an anime character by @速冻切糕 (the website is in Chinese) for PLSE, available here and here. NOTE: the design and the image are licensed under
I was a part-time translator / proofreading editor in Gawr Gura’s Chinese fansub team. Gura is a Virtual Youtuber affiliated with Hololive EN.
Blog posts on my personal website.
I am keeping a list of courses I took at UW here.