萬海
2019-06-26 12:17:20
姓名：萬海 職稱：副研究員
教育背景
2003-2011 清華大學 博士學位
1999-2003 國防科技大學 學士學位
工作履歷
2011~2012 法國INRIA 博士后
2013~2017 清華大學軟件學院 助理研究員
2018~至今 清華大學軟件學院 副研究員
研究領域
列車通信網(wǎng)絡，實時以太網(wǎng)，嵌入式實時系統(tǒng)，形式化建模與驗證等
研究概況
工業(yè)網(wǎng)絡控制系統(tǒng)在軌道交通行業(yè)的應用示范，工信部電子發(fā)展基金，2015-2017
列車控制與信息服務網(wǎng)絡（TCSN）關鍵技術及系統(tǒng)研制，科技部支撐計劃，2015-2017
鐵路列車網(wǎng)絡控制系統(tǒng)MVB通信控制器研制，北京市科委軌道交通技術創(chuàng)新和產(chǎn)業(yè)發(fā)展項目，2014-2015
基于T113的MVB5類設備研制，橫向項目，2013
