李亚慧 - 清华大学 - 网络科学与网络空间研究院

个人简介

教育背景工学博士 (计算机科学与技术)，清华大学，中国， 2020 工学学士 (软件工程)，吉林大学，中国， 2015 研究概况主要从事网络形式化验证与测试、网络测量测绘、网络态势感知等相关研究，在计算机网络领域的高水平国际会议与期刊上（IEEE Communications Surveys & Tutorial、TACAS、TPDS、TON、INFOCOM、ICNP、CN）发表学术论文多篇，主持国家自然科学基金、博士后基金等项目，作为研究骨干参与国家重点研发计划等多个项目。近期主要研究方向包括： 1.网络形式化验证：针对大规模骨干网、数据中心网络、校园网等不同场景，研究网络路由与转发的形式化模型，分析网络配置中潜在语义错误，验证网络的可靠性和安全性。 2.网络异常检测与异常定位：以网络控制平面消息、网络数据平面报文等大数据为基础，采用机器学习、深度学习以及网络溯源技术等进行异常检测和异常定位的研究。 3.网络态势感知：研究网络空间主动探测与被动测量技术，协同多源异构网络数据，在时间或者空间上进行安全态势评估与预测。

研究领域

网络空间安全网络形式化验证与测试网络测量测绘网络空间态势感知

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

Yan Yang, Xingang Shi, Qiang Ma, Yahui Li, Xia Yin, Zhiliang Wang: Path stability in partially deployed secure BGP routing. Comput. Networks 206: 108762 (2022) Lei Shi, Yahui Li, Boon Thau Loo, Rajeev Alur: Network Traffic Classification by Program Synthesis. TACAS (1) 2021: 430-448 Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Fangdan Ye, Jiangyuan Yao, Han Zhang: Assisting reachability verification of network configurations updates with NUV. Comput. Networks 177: 107326 (2020) Yahui Li, Zhiliang Wang, Jiangyuan Yao, Xia Yin, Xingang Shi, Jianping Wu, Han Zhang: MSAID: Automated detection of interference in multiple SDN applications. Comput. Networks 153: 49-62 (2019) Yahui Li, Xia Yin, Zhiliang Wang, Jiangyuan Yao, Xingang Shi, Jianping Wu, Han Zhang, Qing Wang: A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges. IEEE Commun. Surv. Tutorials 21(1): 940-969 (2019) Han Zhang, Haijun Geng, Yahui Li, Xia Yin, Xingang Shi, Zhiliang Wang, Qianhong Wu, Jianwei Liu: DA&FD-Deadline-Aware and Flow Duration-Based Rate Control for Mixed Flows in DCNs. IEEE/ACM Trans. Netw. 27(6): 2458-2471 (2019) Zhiliang Wang, Han Zhang, Xingang Shi, Xia Yin, Yahui Li, Haijun Geng, Qianhong Wu, Jianwei Liu: Efficient Scheduling of Weighted Coflows in Data Centers. IEEE Trans. Parallel Distributed Syst. 30(9): 2003-2017 (2019) Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Jiangyuan Yao, Yingya Guo: Efficient network configuration verification using optimized datalog. INFOCOM Workshops 2018: 1-2 Yahui Li, Zhiliang Wang, Jiangyuan Yao, Xia Yin, Xingang Shi, Jianping Wu: MSAID: Automated interference detection for multiple SDN applications. ICNP 2017: 1-2 Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Yahui Li, Chongrong Li: Testing Black-Box SDN Applications with Formal Behavior Models. MASCOTS 2017: 110-120