报告题目：网络验证

演讲摘要：当今计算机网络的配置和管理十分复杂，及其容易出现错误，甚至可导致重大网络事故，造成严重经济损失。为确保网络配置的正确性，网络验证得到了学术界和工业界的广泛关注。网络验证技术通过对网络进行模型抽象，利用形式化方法系统的检测网络配置的潜在错误，可从根源上避免网络事故的发生。网络验证已成为基于意图的网络、网络自动驾驶的核心使能技术之一，得到了众多网络设备厂商、公有云服务提供商的密切关注。本报告将从控制平面验证、数据平面验证、控制-数据平面一致性验证三个维度介绍网络验证领域最新研究进展以及面临的挑战，探讨如何构建基于意图的可验证网络，最终实现网络的自动驾驶。

讲者简介：张鹏，西安交通大学计算机学院副教授，博士生导师，中国计算机学会互联网专委会委员。2013年博士毕业于清华大学计算机科学与技术系，获清华大学优秀博士毕业生。2009年于香港中文大学访问学习，2011年-2012年于耶鲁大学联合培养。主要研究方向为网络验证、软件定义网络、网络与信息安全。在USENIX NSDI、ACM CoNEXT、ACM HotNets、IEEE INFOCOM、IEEE ICNP、IEEE/ACM TON等国际会议和期刊上发表论文四十余篇。曾获中国计算机学会青年人才托举计划、西安交通大学王宽诚青年学者资助。担任IEEE INFOCOM 2021程序委员会委员，曾担任IEEE JSAC客座编辑、CCF YOCSEF西安AC委员。