Zechun Li
I am a student in the ANTS group from Xi'an Jiaotong University. My research topics of interest include scalable network verification and parallel network verification. I am interested in challenges of improving performance of network verification tools by utilizing parallel computing technology and reducing redundancy in algorithms.
I obtained my bachelor degree in Computer Science from Xi'an Jiaotong University in 2022, and i'm going to obtain my master degree in 2025.
Welcome to join us.
Research Interest
- Scalable Network Verification / Model Checking
- Parallel Network Verification
Education Experience
Xi'an Jiaotong University
School of Computer Science and Technology
Master Degree,
Xi'an Jiaotong University
School of Computer Science and Technology
Bachelor Degree,
Rank:
1/160Award
Tencent Scholarship
First ClassAcademic Scholarship
Special Class