上網(wǎng)認證 智慧交大
當前位置: 首頁 > 新聞中心 > 華交人物 > 科研達人 > 正文

肖美華

作者: 來源: 時間:2023-06-09 瀏覽:

肖美華,男,博士,二級教授,博士生導師,現(xiàn)任虛擬現(xiàn)實(VR)產(chǎn)業(yè)學院院長。美國康奈爾大學、休斯頓大學訪問學者,先后入選江西省“雙千計劃”科技創(chuàng)新培養(yǎng)類高端人才、江西省主要學科學術與技術帶頭人、江西省新世紀百千萬人才、江西省高校中青年學科帶頭人、江西省高校中青年骨干教師人才計劃;入選科技部創(chuàng)新人才推進計劃重點領域創(chuàng)新團隊核心成員,華東交通大學“軟件工程”學科帶頭人,華東交通大學“天佑人才計劃”天佑優(yōu)秀人才;國際會議IFTG07 擔任Session Chair,國際會議FAW、SNPC、WISM-AICI程序委員會委員,IEEE Trans. on ITS、IEEE Access、國內期刊JCST、軟件學報、計算機學報、計算機研究與發(fā)展等評審專家。作為主持人,承擔或完成國家自然科學基金、中國博士后科學基金、教育部留學回國人員科研啟動基金、計算機軟件新技術國家重點實驗室開放課題、江西省自然科學重點基金、江西省科技攻關計劃、江西省高??萍悸涞赜媱潯⒔魇〗逃龔d科技計劃20余項;通過省級鑒定項目8項,獲江西省科技進步獎三等獎(第一完成人)、中國鐵道學會科學技術獎勵三等獎(第二完成人)、江西省高??萍汲晒泉劊ǖ谝煌瓿扇耍?、江西省教學成果二等獎(第一完成人);以第一作者在國內外計算機學術刊物、國際會議上發(fā)表論文70余篇,SCI、EI收錄50余篇。發(fā)明專利10項、軟件著作權18項,專著1部。

?研究方向:

形式化方法

網(wǎng)絡安全

區(qū)塊鏈

?主要學術榮譽:

江西省“雙千計劃”科技創(chuàng)新培養(yǎng)類高端人才

江西省主要學科學術和技術帶頭人

江西省新世紀百千萬人才

江西省高校中青年學科帶頭人

江西省高校中青年骨干教師

科技部創(chuàng)新人才推進計劃重點領域創(chuàng)新團隊核心成員

華東交通大學“軟件工程”學科帶頭人

華東交通大學“天佑人才計劃”天佑優(yōu)秀人才

?主要主持項目及獎勵

??科研項目情況

主持國家自然科學基金4項(在研1項、完成3項)

主持江西省“雙千計劃”科技創(chuàng)新培養(yǎng)類高端人才計劃1項

主持江西省主要學科學術和技術帶頭人資助計劃1項

主持中國博士后科學基金面上項目1項

江西省自然科學基金(含重點)4項

??獎勵情況

※ 網(wǎng)絡信息安全自動分析與評測關鍵技術及應用,獲2021年江西省科技進步獎三等獎, 排名第一

※ 和諧電力機車乘務員行車知識與應急技能VR實訓系統(tǒng),獲2023年中國鐵道學會科學技 術獎三等獎,排名第二

※ 基于事件邏輯的WMN客戶端與LTCA認證協(xié)議安全性分析,獲2018年全國理論計算機科 學學術年會最佳論文一等獎,排名第一

※ 網(wǎng)絡安全協(xié)議的形式化分析,獲2021年Delivering The Keynote Speech in ICSSES & ICEITCS 2021,Yaseen  Academy,雅森學術會議一等獎,排名第一

網(wǎng)絡安全協(xié)議的模型檢測分析及其支撐系統(tǒng)開發(fā),獲2013年江西省高等學??萍汲晒劧泉?,排名第一

網(wǎng)絡安全認證協(xié)議形式化分析,獲第20次全國計算機安全學術年會優(yōu)秀論文,排名第一

基于模型檢測技術的網(wǎng)絡安全協(xié)議形式化分析與研究,獲2009年江西省計算機學會優(yōu)秀學術論文二等獎,排名第一

江西省“軟件工程”省級教學團隊負責人,2022年

江西省“軟件工程與網(wǎng)絡空間安全”省級實驗示范中心主任,2022

?教學和人才培養(yǎng)情況

出版《安全協(xié)議形式化分析與驗證》專著一部,科學出版社,2019年

已培養(yǎng)博士生、碩士生50余名,指導的研究生有4人獲江西省研究生創(chuàng)新基金,5名碩士生獲江西省優(yōu)秀碩士學位論文。





責任編輯: