Ning Kang
I'm Ph.D. student from the NetVerify Lab, Xi'an Jiaotong University. My research interests include various activities such as badminton, swimming, and playing the piano. I'm also delighted to be a part of this team and to work together with everyone.
My previous research primarily focused on network data plane verification (APKeep, NSDI20) and network intent mining (NeMiner, ICNP23). Currently, I am working on improve the scalability of formal network control plane verification based on SMT solvers.
Research Interest
- Network control plane verification / Network intent mining
- Indoor positioning / Network data plane verification
Education Experience
Xi'an Jiaotong University
School of Computer Science and Technology
Ph.D Degree, 2019.9 - now
Chang'an University
School of Computer Science and Technology
Bachelor Degree, 2015.9 - 2019.6
Rank:
3 / 60Internship
Huawei Cloud Computing Technologies Co., Ltd.
Network Intent Mining
Time:
2022.6 - 2022.10Newegg.
Team Communication Software Development
Time:
2018.9 - 2018.12Publications
Proceedings of IEEE ICNP'23
Proceedings of USENIX NSDI'20
Award
Outstanding Graduate Student
Xi'an Jiaotong University, 2019The 2018 International Collegial Programming Contest (ICPC)
Bronze Medal, Asia Shang'hai Regional Contest
Internet Plus College Students Innovation and Entrepreneurship Competition
Silver Medal, 2017
National Scholarships for Master's Degree Students, 2019
National Scholarship
National Scholarships for Bachelor's Degree Students, 2016
National Scholarship
National Scholarships for Bachelor's Degree Students, 2015
National Scholarship