About Me

I’m currently a first-year CS PhD student at University of Pennsylvania, advised by Stephanie Weirich. I got my MS degree from University of Maryland, advised by Dr. Michael Hicks.

I’m interested in formal verification and programming language theory. My past research involves formal verification of replicated data types, random testing, and modeling of CheckedC in Redex.

I also invested a lot of time on music production, though I still haven’t managed to get more than 100 clicks on my Soundcloud.

Github

https://github.com/yiyunliu