Jimeng Liu
I am a senior undergraduate student at Xi'an Jiaotong University (XJTU). I will join Prof. Peng Zhang's group as a master student at XJTU in Fall 2026.
My research focuses on data plane verification (DPV), aiming to improve its performance and scalability. I work on efficient network rule encoding techniques and explore distributed approaches to accelerate data plane verification.
Research Interest
- Network Data Plane Verification
Education Experience
Xi'an Jiaotong University
School of Computer Science and Technology
Master in Computer Science, 2026.9 -
Xi'an Jiaotong University
School of Computer Science and Technology
B.E. in Computer Science, 2022.9 - 2026.6
Award
China College Students Engineering Practice and Innovation Ability Competition
National First Prize , Intelligent Connected Vehicle Design Contest, 2025