计算机软件新技术国家重点实验室

摘 要：

   面对网络规模不断增长，协议配置日趋复杂的现状，网络配置仍然依靠管理员经验和简单工具，自动化程度很低，极易出现错误，从而引发网络故障，带来严重经济损失。近年来，网络验证技术得到了长足发展，它通过对网络进行模型抽象，利用形式化验证预先发现网络配置中的潜在错误，从根源上避免网络故障的发生。网络验证已成为基于意图网络的重要使能技术，得到了众多网络设备厂商、公有云厂商的密切关注。本报告将介绍转发等价类、二元决策图、增量验证等网络验证中的理论和方法，并讨论近年来学术界在控制平面验证、数据平面验证等方向上的最新研究进展以及面临的挑战。

   张鹏，西安交通大学计算机学院副教授，博士生导师。博士毕业于清华大学计算机科学与技术系，主要研究方向为网络验证、软件定义网络、网络与信息安全等，在ACM CoNEXT、IEEE INFOCOM、ICNP、ICDCS、TON、JSAC、TDSC、TPDS等国际会议和期刊上发表论文三十余篇。曾获中国计算机学会青年人才推举计划、西安交通大学王宽诚青年学者资助。现为中国计算机学会互联网专委会委员、IEEE JSAC客座编辑。

时间：11月20日(星期三)9:45

地点：计算机科学技术楼230室