2003-2011 清华大学 博士学位 1999-2003 国防科技大学 学士学位

2011~2012 法国INRIA 博士后 2013~2017 清华大学软件学院 助理研究员 2018~至今 清华大学软件学院 副研究员

1) 清华大学—中央国债登记结算有限责任公司金融信息技术创新联合研究院，副院长，2020-2025 2) 微处理器敏捷设计方法关键技术研究，国家自然基金联合项目，课题负责人，2020-2023 3) 面向工业控制实时网络的软件定义理论与关键技术研发，广东省重点领域研发计划项目，子课题负责人，2020-2022 4) 清华大学—中车青岛四方车辆研究所有限公司智能装备工业物联网联合研究中心，主要参与人，2018-2023 5) 轨道交通装备基础软件和保障工具研发，国家核高基项目，主要参与人，2016-2019 6) 工业网络控制系统在轨道交通行业的应用示范，工信部电子发展基金，主要参与人，2015-2017 7) 列车控制与信息服务网络（TCSN）关键技术及系统研制，科技部支撑计划，子课题负责人，2015-2018 8) 铁路列车网络控制系统MVB通信控制器研制，北京市科委轨道交通技术创新和产业发展项目，项目负责人，2014-2015

2021: 1) Hongyu Jia, Jiang Yu, Chunmeng Zhong, Hai Wan, and Xibin Zhao: TTDeep: Time-Triggered Scheduling for Real-Time Ethernet via Deep Reinforcement Learning. Globecom2021 IoTSN 2) Sukun Zhang, Hai Wan, and Xibin Zhao: A Boolean Network Tomography based Methodfor Deterministic Multi-point Fault Detection. Globecom 2021 CQRM 3) Tun Li, Xu He,Wanxia Qu, and Hai Wan: Survey on Microprocessor Agile Design Methodology and Technology. Journal of Computer-Aided Design & Computer Graphics 2021 4) Xiao Huang, Yu Jiang, Hao Fan, Huayun Tang, Yiping Wang, Jin Jin, Hai Wan, and Xibin Zhao: TATA: Throughput-Aware TAsk Placement in Heterogeneous Stream Processing with Deep Reinforcement Learning. ISPA 2021 5) Xuancheng Zhang, Yutong Feng, Siqi Li, Changqing Zou, Hai Wan, Xibin Zhao, Yandong Guo, Yue Gao: View-Guided Point Cloud Completion. CVPR 2021: 15890-15899 6) Chunmeng Zhong, Hongyu Jia, Hai Wan, Xibin Zhao: DRLS: A Deep Reinforcement Learning Based Scheduler for Time-Triggered Ethernet. ICCCN 2021: 1-11 7) Zaiyu Pang, Xiao Huang, Zonghui Li, Sukun Zhang, Yanfen Xu, Hai Wan, Xibin Zhao: Flow Scheduling for Conflict-Free Network Updates in Time-Sensitive Software-Defined Networks. IEEE Trans. Ind. Informatics 17(3): 1668-1678 (2021) 2020: 1) Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu: Time-Triggered Switch-Memory-Switch Architecture for Time-Sensitive Networking Switches. IEEE Trans. on CAD of Integrated Circuits and Systems 39(1): 185-198 (2020) 2) Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu: Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(7): 1386-1399 (2020) 3) Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Ming Gu, Xiaoyu Song: A Flattened-Priority Framework for Mixed-Criticality Systems. IEEE Trans. Ind. Electron. 67(11): 9862-9872 (2020) 4) Qinghan Yu, Hai Wan, Xibin Zhao, Yue Gao, Ming Gu: Online Scheduling for Dynamic VM Migration in Multicast Time-Sensitive Networks. IEEE Trans. Industrial Informatics 16(6): 3778-3788 (2020) 5) Jian Sun, Hongyu Jia, Bo Hu, Xiao Huang, Hao Zhang, Hai Wan, Xibin Zhao: Speeding up Very Fast Decision Tree with Low Computational Cost. IJCAI 2020: 1272-1278 6) Yubo Zhang, Nan Wang, Yufeng Chen, Changqing Zou, Hai Wan, Xibin Zhao, Yue Gao: Hypergraph Label Propagation Network. AAAI 2020: 6885-6892 7) Tun Li, Qinhan Yu, Hai Wan, Sikun Li: Application Specified Soft-Error Failure Rate Analysis Using Sequential Equivalence Checking Techniques. Tsinghua Science and Technology 2020. 2019: 1) Lifan Su, Hai Wan, Yufang Qin, Xibin Zhao, Yue Gao, Xiaoyu Song, Chenyang Lu, Ming Gu: Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup. IEEE Trans. Industrial Electronics 66(2): 1345-1355 (2019) 2) Ningchen Wang, Qinghan Yu, Hai Wan, Xiaoyu Song, Xibin Zhao: Adaptive Scheduling for Multicluster Time-Triggered Train Communication Networks. IEEE Trans. Industrial Informatics 15(2): 1120-1130 (2019) 3) Zonghui Li, Hai Wan, Zaiyu Pang, Qiubo Chen, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu: An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks. IEEE/ACM Trans. Netw. 27(3): 1124-1137 (2019) 4) Zonghui Li, Hai Wan, Boxu Zhao, Yangdong Deng, Ming Gu: Dynamically Optimizing End-to-End Latency for Time-Triggered Networks. NEAT@SIGCOMM 2019: 36-42 2018: 1) Heyuan Shi, Xibin Zhao, Hai Wan, Huihui Wang, Jian Dong, Kun Tang, Anfeng Liu: Multi-model induced network for participatory-sensing-based classification tasks in intelligent and connected transportation systems. Comput. Networks 141: 157-165 (2018) 2) Xibin Zhao, Nan Wang, Heyuan Shi, Hai Wan, Jin Huang, Yue Gao: Hypergraph Learning With Cost Interval Optimization. AAAI 2018: 4522-4529 3) Zonghui Li, Hai Wan, Yangdong Deng, Qinghan Yu, Tianchi Li, Kang Wei, Ming Gu: Model-based adaptation to extreme physical environments: a case study on mixed-criticality industrial ethernet. ICSE (Companion Volume) 2018: 327-328 4) Zonghui Li, Hai Wan, Yangdong Deng, Ming Gu: Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems. RTAS 2018: 85-88 ~2017: 1) Ronglu Yang, Lifan Su, Xibin Zhao, Hai Wan, Jiaguang Sun: Representative band selection for hyperspectral image classification. J. Vis. Commun. Image Represent. 48: 396-403 (2017) 2) Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun: Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. IJCAI 2017: 2779-2785 3) Qinghan Yu, åXibin Zhao, Hai Wan, Yue Gao, Chenyang Lu, Ming Gu: Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks. IWQoS 2017: 1-6 4) Hai Wan, Anping He, Zhiyang You, Xibin Zhao: Formal Proof of a Machine Closed Theorem in Coq. J. Applied Mathematics 2014: 892832:1-892832:9 (2014) 5) Zhen Cheng, De-chen Zhan, Xibin Zhao, Hai Wan: Multitask Oriented Virtual Resource Integration and Optimal Scheduling in Cloud Manufacturing. J. Applied Mathematics 2014: 369350:1-369350:9 (2014) 6) Xibin Zhao, Zhiyang You, Hai Wan: A Novel Two-Terminal Reliability Analysis for MANET. J. Applied Mathematics 2013: 216186:1-216186:9 (2013) 7) Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu: Modeling and Verification of Component-Based Systems with Data Passing Using BIP. ICECCS 2013: 4-13 8) Wan Hai, Huang Chongdi, Wang Yuhui, Fei He, Gu Ming, Marius Bozga, Modeling and Validation of a Data Process Unit Control for Space Applications, Embedded Real Time Software and Systems 2012 9) Zhiyang You, Xibin Zhao, Hai Wan, William N. N. Hung, Yuke Wang, Ming Gu: A novel fault diagnosis mechanism for wireless sensor networks. Mathematical and Computer Modelling 54(1-2): 330-343 (2011) 10) Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu: Formalisation and verification of programmable logic controllers timers in Coq. IET Software 5(1): 32-42 (2011) 11) Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu: A Refinement-Based Validation Method for Programmable Logic Controllers. QSIC 2010: 361-364 12) Hai Wan, Xiaoyu Song, Ming Gu: Parameterized Specification and Verification of PLC Systems in Coq. TASE 2010: 179-182 13) Hai Wan, Gu Ming, Xiaoyu Song: Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections. Mathematical and Computer Modelling 50(7-8): 1090-1099 (2009)