Ning Kang
I'm a passionate boy from Anhui, China, and a member of the ANTS team. My 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 ContestInternet Plus College Students Innovation and Entrepreneurship Competition
Silver Medal, 2017National Scholarships for Master's Degree Students, 2019
National Scholarships for Bachelor's Degree Students, 2016
National Scholarships for Bachelor's Degree Students, 2015