姓名：李亚慧

职称：助理研究员

电话：+86--10-62603272

邮箱：liyahui@tsinghua.edu.cn

工学博士 (计算机科学与技术)，清华大学，中国， 2020

工学学士 (软件工程)，吉林大学，中国， 2015

网络空间安全

网络形式化验证与测试

网络测量测绘

网络空间态势感知

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

[1] 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)

[2] Lei Shi, Yahui Li, Boon Thau Loo, Rajeev Alur: Network Traffic Classification by Program Synthesis. TACAS (1) 2021: 430-448

[3] 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)

[4] 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)

[5] 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)

[6] 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)

[7] 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)

[8] 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

[9] Yahui Li, Zhiliang Wang, Jiangyuan Yao, Xia Yin, Xingang Shi, Jianping Wu: MSAID: Automated interference detection for multiple SDN applications. ICNP 2017: 1-2

[10] 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