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