About Me

I am a Ph.D. candidate at the Institute of Computing Technology, Chinese Academy of Sciences, under the supervision of Prof. Lian Li. Prior to this, I obtained my Bachelor's degree at the School of Software Engineering, Tongji University, respectively.

I am broadly interested in programming languages and program analysis, encompassing both fundamental problems—such as pointer analysis and graph-reachability-based techniques (e.g., IFDS and CFL-reachability)—and practical applications like vulnerability detection. I am also interested in leveraging large language models (LLMs) for classic PL and SE tasks.

Feel free to drop me an email if you want to talk. :-)