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. My research interests is on improving programming tools (e.g. compilers) leveraging PL techniques (e.g. equality saturation). I have been working on building better tools for
My name is pronunced as
/xɤˊ/ /tɤˊ/ /ɥœnˊ/. I would also like to be called as Mike.
Programming Languages, Formal Methods, Compilers, ML for PL
(λx. λy. λz. [email protected]) princeton mikehe edu
I love classical music and enjoy playing the violin. I've been playing
about 0x14 years. I passed the Level 9 test certified by the
Music when I was in middle school.
Here is a sample recording (Meditation from Thais) made in Dec. 2023.
Some other recordings are available @ Bilibili (the website is in Chinese)