I am an undergraduate student at Jilin University. I will join Xi'an Jiaotong University (XJTU) as a master student in Fall 2026, advised by Prof. Peng Zhang.

I work on data plane verification, focusing on automated correctness checking of network forwarding behaviors. My research applies symbolic reasoning and decision diagram techniques to model network data planes and verify key properties such as reachability, isolation, and loop-freedom. I am particularly interested in improving the scalability and real-world applicability of verification tools, enabling them to handle large-scale networks with minimal performance overhead.