Name: Hai WAN
Title: Associate Professor
Telephone: 010-6279 7017
Research Fields: Data analysis, trustworthy systems, industrial networks, real-time systems, formal modeling and verification
2003-2011 Tsinghua University Ph.D 1999-2003 National University of Defense Technology B.S.
2011-2012 INRIA Post-Doctor Researcher 2013-2017 School of Software, Tsinghua University Research Assistant 2018-Now School of Software, Tsinghua University Associate Professor
Tsinghua University-China Central Depository & Clearing Co., Ltd. Joint Institute for Financial Information Technology Innovation, 2020-2025 Research on Key Technologies of Microprocessor Agile Design Methodology, NSFC projects, PI, 2020-2023 Research and Development of Software Definition Theory and Key Technology for Industrial Control Real-time Network, Guangdong Province Research and Development Program, co-PI, 2020-2022 Tsinghua University – CRRC Qingdao Sifang Rolling Stock Research Institute Co.,Ltd. Joint Research Center for Intelligent Equipment Industrial Internet, 2018-2023 Research and development of software and support tools for railway equipments, National Science and Technology Major Project of China, 2016-2019 Demonstration of industrial control network in Rail transportation industry, Information technology fund of MIIT of China, 2015-2017 Key technologies and system implementation of train control and information service network (TCSN), National High Technology Research and Development Program of China, co-PI, 2015-2017 Research and Implementation of MVB network controller for train communication network, Beijing Municipal Science and Technology Commission, PI, 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)