尹霞 - 清华大学 - 计算机科学与技术系

个人简介

教育背景工学学士 (计算机科学与技术), 清华大学, 中国, 1995 工学硕士 (计算机科学与技术), 清华大学, 中国, 1997 工学博士 (计算机科学与技术), 清华大学, 中国, 2000 社会兼职计算机学会女计算机工作委员会副主任，2014 中国高等教育信息化分会第七届副理事长，2017 奖励与荣誉国家科学技术进步二等奖---Ipv6核心路由器 (2005) 国家科学技术进步二等奖---中国下一代互联网示范工程CNGI-CERNET2（2007）中国通信学会科学技术奖一等奖---下一代互联网4over6过渡技术及其应用（2012）全国性基金奖励北京青年科技奖---茅以升科学技术奖（2012）中国电子学会技术发明奖一等奖---基于形式化方法的互联网协议测试关键技术及其应用（2016）国家技术发明奖二等奖---支持服务创新的可扩展路由交换关键技术、系统及产业化应用（2016）中国科协---中国青年科技奖（2017）中国互联网发展基金会---网络安全优秀教师奖（2017）中国电子学会科学技术奖---科技进步特等奖（2020）

研究领域

计算机体系结构计算机网络互联网体系结构协议测试

近期论文

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

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. 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. 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. Zongyi Zhao, Xingang Shi, Xia Yin, Zhiliang Wang, Qing Li. HashFlow for Better Flow Record Collection. (ICDCS 2019). 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). 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. Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Jiangyuan Yao. Efficient Network Configuration Verification Using Optimized Datalog. infocom 2018 Han Zhang, Xingang Shi, Zhiliang Wang, Xia Yin. Yosemite: Efficient Scheduling of Weighted Coflows in Data Centers. ICNP 2017 耿海军, 施新刚, 王之梁, 尹霞, 胡治国. 基于最小路径交叉度的域内路由保护方案. 软件学报 (2019) 耿海军, 施新刚, 王之梁, 尹霞, 尹少平. LFA算法的一种高效实现方法. 软件学报. (2018) 耿海军, 施新刚, 王之梁, 尹霞, 尹少平. 基于关键节点的域内路由保护算法. 计算机科学. (2018) 刘智峰, 尹霞, 王之梁, 施新刚, 华一强, 黄小红, 魏亮, 姚姜源, 张晗, 曾曼, 苏子君, 刘帅. 层次化跨区域SDN验证示范系统的设计与建设. 电信科学.(2018) 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 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