姓名：万海    职称：副研究员
教育背景
    2003-2011 清华大学 博士学位
    1999-2003 国防科技大学 学士学位
工作履历
    2011~2012  法国INRIA 博士后
    2013~2017  清华大学软件学院 助理研究员
    2018~至今 清华大学软件学院  副研究员
研究领域
    列车通信网络，实时以太网，嵌入式实时系统，形式化建模与验证等
研究概况
    工业网络控制系统在轨道交通行业的应用示范，工信部电子发展基金，2015-2017
    列车控制与信息服务网络（TCSN）关键技术及系统研制，科技部支撑计划，2015-2017
    铁路列车网络控制系统MVB通信控制器研制，北京市科委轨道交通技术创新和产业发展项目，2014-2015
    基于T113的MVB5类设备研制，横向项目，2013