报告题目：网络验证：持续保证网络正确性
报告人：张鹏副教授西安交通大学计算机学院 智能网络与网络安全教育部重点实验室
报告时间：3月26日（周五）上午10点
报告地点：浑南校区信息学馆B219
邀请人：2138com太阳集团 李福亮副教授
摘要：
当今计算机网络的配置和管理十分复杂，及其容易出现人为配置错误，造成网络故障。传统的故障诊断方式过于依赖经验，诊断周期长，容易引起严重网络事故。为此，网络验证近年来得到学术界和产业界的广泛关注，已逐渐成为计算机网络领域一个重要的研究方向。网络验证通过对网络进行模型抽象，利用形式化方法“主动”的检测网络配置错误，从而在“事前”发现潜在网络故障、避免网络事故。网络验证已逐渐成为基于意图的网络、网络自动驾驶的使能技术之一，得到了众多设备厂商、公有云厂商的密切关注，并在数据中心网络、广域网得到了大规模部署。本报告将介绍网络验证的关键问题与挑战，以及西安交通大学网络系统研究组（ANTS）在网络验证方向取得的研究进展。
报告人简介：
张鹏，西安交通大学计算机学院副教授，博士生导师。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委员。