About Me

I am a tenure-track assistant professor at the Institute for Math & AI at Wuhan University (WHU). I received my Ph.D. from the Institute of Computing Technology, Chinese Academy of Sciences, under the supervision of Prof. Lian Li. Prior to that, I received my Bachelor's degree from the School of Software Engineering at Tongji University.

My research interests broadly span programming languages and program analysis, ranging from fundamental problems such as pointer analysis and graph-reachability-based techniques (e.g., IFDS and CFL-reachability) to practical applications such as vulnerability detection. I am also exploring the bidirectional synergy between programming languages and coding agents, with the goal of enabling them to mutually push the boundaries of their capabilities.

Feel free to drop me an email if you want to talk. :-) （团队招收 27级 硕博生中！ ）