我们是一个由张鹏教授领导的先进网络系统（ANTS）小组研究实验室。

我们的实验室专注于大规模计算机网络的验证、模拟和合成。

我们提出了数据平面验证器 APKeep（NSDI'20）和 MNV（CoNEXT'23），以及控制平面验证器 DNA（NSDI'22）、SRE（SIGCOMM'22）和 Expresso（SIGCOMM'24）。其中一些已经开源。

欢迎自学能力强、对该研究方向感兴趣的本科生加入我们的 NetVerify 实验室（联系人：p-zhang@xjtu.edu.cn）。