基本信息

张鹏，教授，博导
西安交通大学计算机科学与技术学院
智能网络与网络安全教育部重点实验室

荣誉称号

  • 国家级青年人才计划，2022
  • 西安交通大学“青年拔尖人才A类”，2023
  • 中国电子学会科技进步一等奖，2023
  • 西安交通大学“王宽诚青年学者”，2017
  • 中国计算机学会青年人才托举计划，2017
  • 华为公司火花奖（2次）

招生信息

长期招收博士后、博士、硕士、本科生

 

西安交通大学先进网络系统团队研究方向包括：未来互联网、数据中心网络；力图从真实场景中挖掘真实问题，提高我国网络基础设施的稳定性和安全性；发表有国际影响力的学术论文，培养网络系统领域顶尖人才。如果你对系统领域感兴趣，有较强的自我驱动力，且编程/数学能力突出（ACM/ICPC区域赛/决赛获奖者优先），欢迎联系我们。Email: p-zhang at xjtu.edu.cn

近期论文

[SIGCOMM 25] S2: A Distributed Configuration Verifier for Hyper-Scale Networks, Dan Wang, Peng Zhang, Wenbing Sun, Wenkai Li, Xing Feng, Hao Li, Jiawei Chen, Weirong Jiang, and Yongping Tang, Proceedings of ACM SIGCOMM'25

[NSDI 25]  NDD: A Decision Diagram for Network Verification, Zechun Li, Peng Zhang, Yichi Zhang, Hongkun Yang, Proceedings of USENIX NSDI'25 （大会唯一杰出论文奖）

[SIGCOMM 24] Expresso: Comprehensively Reasoning About External Routes Using Symbolic Simulation, Dan Wang, Peng Zhang, Aaron Gember-Jacobson, Proceedings of ACM SIGCOMM'24 （最佳论文提名奖）

[NSDI 23] LemonNFV: Consolidating Heterogeneous Network Functions at Line Speed, Hao Li, Yihan Dang, Guangda Sun, Guyue Liu, Danfeng Shan and Peng Zhang, Proceedings of USENIX NSDI'23

[SIGCOMM 22] Symbolic Router Execution, Peng Zhang, Dan Wang, Aaron Gember-Jacobson, Proceedings of ACM SIGCOMM'22

[NSDI 22] Differential Network Analysis, Peng Zhang, Aaron Gember-Jacobson, Yueshang Zuo, Yuhao Huang, Xu Liu, and Hao Li, Proceedings of USENIX NSDI'22

教育和工作经历

  • 2013/07 ~ 今  西安交通大学计算机科学与技术学院, 讲师、副教授、教授
  • 2008/09 ~ 2013/07:  清华大学计算机科学与技术系, 博士研究生
  • 2011/09 ~ 2012/09:  耶鲁大学计算机科学系, 联合培养博士生
  • 2009/11 ~ 2010/02:  香港中文大学计算机科学与工程系, 访问学生
  • 2004/09 ~ 2008/06:  北京邮电大学计算机科学与技术学院, 本科

学术任职

  • 国际会议组织委员会（Organization Committee）

  • 国际会议程序委员会（Program Committee）

    • USENIX NSDI (2026, 2025)

    • IEEE INFOCOM (2026, 2025, 2024, 2023, 2022, 2021)

    • IEEE ICNP (2024)

  • 国际期刊编委

    • IEEE Journal on Selected Areas in Communications（CCF A类）,  Series on Network Softwarization & Enabler

  • 中国计算机学会

    • 高级会员

    • 互联网专委会委员

    • 网络与数据通信专委会委员