姓名：王之梁

职称：长聘副教授

电话：+86 10 62603273

邮箱：wzl@cernet.edu.cn

工学学士 (计算机科学与技术), 清华大学, 中国, 2001;

工学博士 (计算机科学与技术), 清华大学, 中国, 2006.

网络空间态势感知

网络测量测绘

网络验证与测试

网络安全

1. 基于形式化方法的互联网协议测试与配置验证技术：提出了一种多组件并行有限状态机模型及其协议测试生成技术，设计实现了跨协议、跨平台的分布式通用协议集成测试系统PITSv3，主持研发了新型网络协议和技术的测试集；主持研发了大规模网络配置验证系统，解决了实际大规模网络配置验证准确性和可扩展性的难题，成果发表于网络领域国际顶级学术会议Sigcomm 2020。

2. 互联网路由和流量的异常检测研究：实现了国际上首个公开发布监测报告的全球互联网前缀劫持在线监测平台Argus，相关论文获得国际互联网测量会议IMC颁发的首个Community Contribution Award；提出了面向网络安全检测的深度学习异常检测鲁棒性和可解释性方法。相关工作发表在CCS、NDSS、IMC、JSAC等国际顶级会议和期刊上。

3. 新型互联网路由体系结构和协议：提出了SDN/OSPF混合网络下的流量工程路由机制；提出了基于深度强化学习的部分部署IPv6分段路由的流量工程机制，实现了对网络资源的高效灵活利用。相关研究成果发表在ToN、TPDS、CoNext等国际顶级期刊和会议上。

1. 基于形式化方法的互联网协议测试关键技术及其应用，2016年度中国电子学会科学技术奖技术发明类，一等奖

2. 下一代互联网4over6过渡技术及其应用，2012年度中国通信学会科学技术奖，一等奖

3. 面向云计算和互联网业务的IPv6商用部署技术研发及大规模应用，2019年度中国通信学会科学技术奖二等奖

4. 支持IPv6源地址验证的交换机关键技术， 2010年度中国通信学会科学技术奖，二等奖

5. 论文"Detecting Prefix Hijackings in the Internet with Argus"获ACM IMC 2012 Community Contribution Award

[1] Wenqi Chen, Zhiliang Wang*, Dongqi Han, Chenxin Duan, Xia Yin, Jiahai Yang, Xingang Shi*, Han Zhang. ROV-MI: Large-Scale, Accurate and Efficient Measurement of ROV Deployment. NDSS 2022.

[2] Guanglei Song, Jiahai Yang, Zhiliang Wang, Lin He, Jinlei Lin, Long Pan, Chenxin Duan, Xiaowen Quan. DET: Enabling Efficient Probing of IPv6 Active Addresses. IEEE/ACM Transactions on Networking. 2022.

[3] Dongqi Han, Zhiliang Wang*, Wenqi Chen, Ying Zhong, Su Wang, Han Zhang, Jiahai Yang, Xingang Shi, Xia Yin. DeepAID: Interpreting and Improving Deep Learning-based Anomaly Detection in Security Applications. ACM Conference on Computer and Communications Security (CCS 2021).

[4] Dongqi Han, Zhiliang Wang*, Ying Zhong, Wenqi Chen, Jiahai Yang, Shuqiang Lu, Xingang Shi, and Xia Yin. Evaluating and Improving Adversarial Robustness of Machine Learning-Based Network Intrusion Detectors. IEEE Journal on Selected Areas in Communications. 2021, 39(8): 2632-2647.

[5] Han Zhang, Xingang Shi, Xia Yin, Jilong Wang, Zhiliang Wang, Yingya Guo, Tian Lan. Boosting Bandwidth Availability Over Inter-DC WAN.  International Conference on emerging Networking EXperiments and Technologies (CoNEXT 2021). Virtual. December 7–10, 2021.

[6] Fangdan Ye, Da Yu, Ennan Zhai, Hongqiang Harry Liu, Bingchuan Tian, Qiaobo Ye, Chunsheng Wang, Xin Wu, Tianchen Guo, Cheng Jin, Duncheng She, Qing Ma, Biao Cheng, Hui Xu, Ming Zhang*, Zhiliang Wang*, Rodrigo Fonseca. Accuracy, Scalability, Coverage – A Practical Configuration Verifier on a Global WAN. Sigcomm 2020. August 10-14, 2020. 599-614.

[7] 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. 2020, 28(4): 1573-1586.

[8] Zitong Jin, Xingang Shi*, Yan Yang, Xia Yin, Zhiliang Wang*, Jianping Wu. TopoScope: Recover AS Relationships From Fragmentary Observations. ACM Internet Measurement Conference (IMC 2020). October 27–29, 2020, Virtual Event.

[9] 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 Transactions on Parallel and Distributed Systems. 2019, 30(9): 2003 - 2017.

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

[11] 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.

[12] Han Zhang, Xingang Shi, Xia Yin, Fengyuan Ren, Zhiliang Wang. More Load, More Differentiation - a Design Principle for Deadline-Aware Flow Control in DCNs. The 34th Annual IEEE International Conference on Computer Communications (INFOCOM 2015). April 26 - May 1, 2015. Hong Kong. 127-135

[13] Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi,and Jianping Wu. Formal Modeling and Systematic Black-Box Testing of SDN Data Plane. 22nd IEEE International Conference on Network Protocols (ICNP 2014). October 21-24, 2014. The Research Triangle, North Carolina, USA. 179-190.

[14] Haijun Geng, Xingang Shi, Xia Yin, Zhiliang Wang. Dynamic Distributed Algorithm for Computing Multiple Next-Hops on a Tree. 21st IEEE International Conference on Network Protocols(ICNP 2013). October 2013, Gottingen, Germany. 1-10.

[15] Xingang Shi, Yang Xiang, Zhiliang Wang, Xia Yin, Jianping Wu. Detecting Prefix Hijackings in the Internet with Argus. In Proc. of ACM IMC 2012. November 14-16, 2012. Boston MA, USA. 15-28.