About Me

Hello! I am a first-year Ph.D student at Peking University’s School of Computer Science, affiliated with the Programming Languages Lab (PLL), where I am advised by Prof. Di Wang.

My research interests lie in Programming Languages, with a current focus on Program Verification.