Jiaqi Xi
I am a master student at Xi'an Jiaotong University (XJTU), advised by Prof. Peng Zhang. I work on Network transaction layer verification,focusing on automated correctness checking of network forwarding behaviors.
Research Interest
- Network Verification
Education
Xi'an Jiaotong University
School of Computer Science and Technology
Master in Computer Technology, 2026.9 - now
Xi'an Jiaotong University
School of Computer Science and Technology
B.E. in Computer Science, 2022.9 - 2026.6