报告题目：快速准确的大规模网络配置验证

演讲摘要：网络设备配置错误是导致网络故障的主要原因之一。网络验证技术可在网络配置部署前发现错误，减少网络故障的发生，已成为近几年网络领域的热点研究方向之一。本报告分析了已有网络配置验证技术面临的准确性低、检测速度慢等重大技术挑战，提出了快速准确的大规模网络配置验证技术。通过检测厂商实现差异性并修正网络模型，解决了网络配置验证技术准确性低的问题；采用“全局模拟-局部形式化建模”的策略，大大提升了网络配置验证的效率。基于上述技术，研发了快速准确的网络配置验证系统，并已在阿里巴巴广域网部署运行了超过两年时间。

讲者简介：王之梁，清华大学网络研究院副教授、博士生导师。获清华大学计算机科学与技术系博士、硕士、学士学位。主要研究方向为网络测试测量与态势感知、互联网体系结构与协议、网络安全等。近年来负责或参加多项国家重点研发计划、863、973、国家发改委、国家自然科学基金等研究项目。在ACM Sigcomm、IEEE/ACM ToN、IEEE TPDS、IEEE INFOCOM、IEEE ICNP、ACM IMC等计算机网络相关领域重要国际期刊及国际会议上发表论文近100篇，获得中国发明专利授权20余项。获得了国际互联网测量领域顶级会议IMC颁发的首个“社区贡献奖”；获得中国电子学会科学技术一等奖1项（排名第2），中国通信学会科学技术一等奖1项、二等奖1项。