I am a second-year Ph.D. student at the Department of Computer Science, Princeton University advised by Prof. Aarti Gupta.
Before joining Princeton, I did my undergraduate at Paul G. Allen School of Computer Science & Engineering, advised by Prof. Zachary Tatlock, Dr. Steven Lyubomirsky at 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. compilers) leveraging PL techniques such as term rewriting, equality saturation and formal verification.
My name is pronunced as /xɤˊ/ /tɤˊ/ /ɥœnˊ/
. I would also like to be called as Mike.
Resume | Github | Twitter | LinkedIn
Programming Languages, Formal Methods, Compilers
(λx. λy. λz. [email protected]) princeton mikehe edu
I love classical music and enjoy playing the violin. I've been playing the violin for 0x13 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 was a part-time translator / proofreading editor in Gawr Gura's Chinese fansub team. Gura is a virtual streamer at YouTube affiliated with Hololive Production (EN).