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

?研究方向：

※ 形式化方法

※ 網(wǎng)絡(luò)安全

※ 區(qū)塊鏈

?主要學(xué)術(shù)榮譽：

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

※ 江西省主要學(xué)科學(xué)術(shù)和技術(shù)帶頭人

※ 江西省新世紀(jì)百千萬人才

※ 江西省高校中青年學(xué)科帶頭人

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

※ 科技部創(chuàng)新人才推進(jìn)計劃重點領(lǐng)域創(chuàng)新團(tuán)隊核心成員

※ 華東交通大學(xué)“軟件工程”學(xué)科帶頭人

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

?主要主持項目及獎勵：

??科研項目情況：

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

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

※ 主持江西省主要學(xué)科學(xué)術(shù)和技術(shù)帶頭人資助計劃1項

※ 主持中國博士后科學(xué)基金面上項目1項

※ 江西省自然科學(xué)基金(含重點)４項

??獎勵情況：

※ 網(wǎng)絡(luò)信息安全自動分析與評測關(guān)鍵技術(shù)及應(yīng)用，獲2021年江西省科技進(jìn)步獎三等獎， 排名第一

※ 和諧電力機(jī)車乘務(wù)員行車知識與應(yīng)急技能VR實訓(xùn)系統(tǒng)，獲2023年中國鐵道學(xué)會科學(xué)技 術(shù)獎三等獎，排名第二

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

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

※ 網(wǎng)絡(luò)安全協(xié)議的模型檢測分析及其支撐系統(tǒng)開發(fā)，獲2013年江西省高等學(xué)?？萍汲晒劧泉劊琶谝?/span>

※ 網(wǎng)絡(luò)安全認(rèn)證協(xié)議形式化分析，獲第20次全國計算機(jī)安全學(xué)術(shù)年會優(yōu)秀論文，排名第一

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

※ 江西省“軟件工程”省級教學(xué)團(tuán)隊負(fù)責(zé)人，2022年

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

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

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

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