I am currently a PhD student at the Computer Science Department of University of Illinois at Chicago, under the supervision of William Mansky.

My research interest is the formalization and verification of programming languages.

I spent my first 29 years in Changchun, 4 years in Nanjing, one year in Suzhou and 3 months in Shanghai. Then I came to Chicago to pursue my PhD degree in UIC, in 2022.