尹霞-清华大学网络科学与网络空间研究院

1、基于形式化方法的互联网协议和网络测试，攻克了测试生成和测试执行、大规模网络测试、在线路由测试等难题，研制了分布式通用协议集成测试系统PITS，实现了面向多厂商核心路由器和多网络连接的大规模IPv6网络测试方案，填补了多项协议测试空白，保障了国家下一代互联网创新工程的顺利成功实施。项目获得国家技术发明二等奖、中国电子学会技术发明一等奖、中国通信学会技术发明一等奖各1项、国家科技进步二等奖2项，发表论文上百篇，获得发明专利10余项。

2、可扩展和安全可信的编址路由创新机理，提出IPv6网络新型编址方案、可扩展安全路由协议、路由前缀劫持实时在线动态监测方法，研制开发了新型IPv6路由器，实现了世界上首个公开发布监测报告的全球互联网路由前缀劫持在线监测平台，服务了来自140多个国家用户，已经成为全球路由劫持监测的一种基准。项目获得国家技术发明二等奖和中国电子学会技术发明一等奖各1项，获得ACM IMC颁发的首个Community Contribution Award，发表论文近百篇，获得发明专利10余项。

奖励与荣誉

国家科学技术进步二等奖---Ipv6核心路由器 (2005)

国家科学技术进步二等奖---中国下一代互联网示范工程CNGI-CERNET2（2007）

中国通信学会科学技术奖一等奖---下一代互联网4over6过渡技术及其应用（2012）

全国性基金奖励北京青年科技奖---茅以升科学技术奖（2012）

中国电子学会技术发明奖一等奖---基于形式化方法的互联网协议测试关键技术及其应用（2016）

中国科协---中国青年科技奖（2017）

中国互联网发展基金会---网络安全优秀教师奖（2017）

中国教育部“长江学者”奖励计划特聘教授 (2018年度)

中国电子学会科学技术奖---科技进步特等奖（2020）

学术成果

[1] Weihan Chen, Xia Yin, Zhiliang Wang, Xingang Shi and Jiangyuan Yao. Placement and Routing Optimization Problem for Service Function Chain: State of Art and Future Opportunities. ICAIS 2020.

[2] Yahui Li, Xia Yin, Zhiliang Wang, Jiangyuan Yao, Xingang Shi, Jianping Wu, Han Zhang, and Qing Wang. A Survey on Network Verification and Testing with Formal Methods: Approaches and Challenges. IEEE Communications Surveys & Tutorials. 2019, 21(1): 940-969. First Quarter, 2019.

[3] Yingya Guo, Zhiliang Wang, Zhifeng Liu, Xia Yin, Xingang Shi, Jianping Wu, Yang Xu, H. Jonathan Chao. SOTE: Traffic Engineering in Hybrid Software Defined Networks. Computer Networks. 2019, 154: 60-72.

[4] Zongyi Zhao, Xingang Shi, Xia Yin, Zhiliang Wang, Qing Li. HashFlow for Better Flow Record Collection. (ICDCS 2019).

[5] Zhifeng Liu, Zhiliang Wang, Xia Yin, Xingang Shi, Yingya Guo and Ying Tian. Traffic Matrix Prediction Based on Deep Learning for Dynamic Traffic Engineering. (ISCC 2019).

[6] Yan Yang, Xia Yin, Xingang Shi, Zhiliang Wang, Jiong He, Tom Z. J. Fu, Marianne Winslett. Inter-domain Routing Bottlenecks and Their Aggravation. Computer Networks. 2019, 162: 1-14.

[7] Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Jiangyuan Yao. Efficient Network Configuration Verification Using Optimized Datalog. infocom 2018

[8] Han Zhang, Xingang Shi, Zhiliang Wang, Xia Yin. Yosemite: Efficient Scheduling of Weighted Coflows in Data Centers. ICNP 2017

[9] 耿海军, 施新刚, 王之梁, 尹霞, 胡治国. 基于最小路径交叉度的域内路由保护方案. 软件学报 (2019)

[10] 耿海军, 施新刚, 王之梁, 尹霞, 尹少平. LFA算法的一种高效实现方法. 软件学报. (2018)

[11] 耿海军, 施新刚, 王之梁, 尹霞, 尹少平. 基于关键节点的域内路由保护算法. 计算机科学. (2018)

[12] 刘智峰, 尹霞, 王之梁, 施新刚, 华一强, 黄小红, 魏亮, 姚姜源, 张晗, 曾曼, 苏子君, 刘帅. 层次化跨区域SDN验证示范系统的设计与建设. 电信科学.(2018)

[13] Zhang, Han; Shi, Xingang; Geng, Haijun; Wang, Zhiliang; Wu, Qianhong; Liu, Jianwei; Yin, Xia. DA&FD – Deadline-Aware and Flow Duration-Based Rate Control for Mixed Flows in DCNs. IEEE/ACM Transactions on Networking (TON) 2019

[14] Ying Tian, Zhiliang Wang, Xia Yin, Xingang Shi, Yingya Guo, Haijun Geng, Jiahai Yang. Traffic Engineering in Partially Deployed Segment Routing Over IPv6 Network With Deep Reinforcement Learning. IEEE/ACM Transactions on Networking (TON) 2020