您所在的位置:首页 > 师资队伍 > 教师详细信息返  回

姓名:万海
职称:助理研究员
联系方式:010-6279 7017
邮箱:wanhai@tsinghua.edu.cn

教育背景

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

工作履历

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

研究领域

列车通信网络,实时以太网,嵌入式实时系统,形式化建模与验证等

研究概况

工业网络控制系统在轨道交通行业的应用示范,工信部电子发展基金,2015-2017
列车控制与信息服务网络(TCSN)关键技术及系统研制,科技部支撑计划,2015-2017
铁路列车网络控制系统MVB通信控制器研制,北京市科委轨道交通技术创新和产业发展项目,2014-2015
基于T113的MVB5类设备研制,横向项目,2013

学术成果

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)
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)
Xibin Zhao, Zhiyang You, Hai Wan: A Novel Two-Terminal Reliability Analysis for MANET. J. Applied Mathematics 2013: 216186:1-216186:9 (2013)
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
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
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)
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)
Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu: A Refinement-Based Validation Method for Programmable Logic Controllers. QSIC 2010: 361-364
Hai Wan, Xiaoyu Song, Ming Gu: Parameterized Specification and Verification of PLC Systems in Coq. TASE 2010: 179-182
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)