I got my PhD from Upenn in 2023, advised by Prof. Boon Thau Loo. Before joining UPenn, I worked in Prof. Nathan Beckmann's group at CMU, on cache replacement policies. I got my Bachelors from Tsinghua University in Beijing, China, in 2016. I was born and rasied in Zhuhai, China.

I am interested in improving software verification efficiency by designing high-level domain-specific languages, with automatic verification and program synthesis support. My research spans many topics: programming languages, software engineering, domain-specific languages, program verification, program synthesis, and network protocols.