• <nav id="wg0qe"></nav>
    <menu id="wg0qe"></menu>
  • <xmp id="wg0qe"><nav id="wg0qe"></nav><nav id="wg0qe"><strong id="wg0qe"></strong></nav><menu id="wg0qe"><menu id="wg0qe"></menu></menu>
  • 張鵬副教授學術報告

    發布者:楊金柱發布時間:2021-03-25瀏覽次數:12

    報告題目:網絡驗證:持續保證網絡正確性

    報告人:張鵬副教授西安交通大學計算機學院 智能網絡與網絡安全教育部重點實驗室

    報告時間:3月26日(周五)上午10點

    報告地點:渾南校區信息學館B219

    邀請人:東北大學計算機科學與工程學院 李福亮副教授


    摘要:

    當今計算機網絡的配置和管理十分復雜,及其容易出現人為配置錯誤,造成網絡故障。傳統的故障診斷方式過于依賴經驗,診斷周期長,容易引起嚴重網絡事故。為此,網絡驗證近年來得到學術界和產業界的廣泛關注,已逐漸成為計算機網絡領域一個重要的研究方向。網絡驗證通過對網絡進行模型抽象,利用形式化方法“主動”的檢測網絡配置錯誤,從而在“事前”發現潛在網絡故障、避免網絡事故。網絡驗證已逐漸成為基于意圖的網絡、網絡自動駕駛的使能技術之一,得到了眾多設備廠商、公有云廠商的密切關注,并在數據中心網絡、廣域網得到了大規模部署。本報告將介紹網絡驗證的關鍵問題與挑戰,以及西安交通大學網絡系統研究組(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委員。



    日本护士xxxx视频
  • <nav id="wg0qe"></nav>
    <menu id="wg0qe"></menu>
  • <xmp id="wg0qe"><nav id="wg0qe"></nav><nav id="wg0qe"><strong id="wg0qe"></strong></nav><menu id="wg0qe"><menu id="wg0qe"></menu></menu>