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

?研究方向：

※形式化方法

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

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

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

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

※江西省百千萬(wàn)人才工程人選

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

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

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

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

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

?主要主持項(xiàng)目及獎(jiǎng)勵(lì)：

??科研項(xiàng)目情況：

※主持完成或在研國(guó)家自然科學(xué)基金3項(xiàng)

※主持完成江西省主要學(xué)科學(xué)術(shù)和技術(shù)帶頭人資助計(jì)劃1項(xiàng)

※主持完成或在研江西省自然科學(xué)基金2項(xiàng)

??獎(jiǎng)勵(lì)情況：

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

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

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

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

※網(wǎng)絡(luò)安全協(xié)議的模型檢測(cè)分析及其支撐系統(tǒng)開發(fā)，獲2013年江西省高等學(xué)?？萍汲晒?jiǎng)二等獎(jiǎng)，排名第一

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

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

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

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

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

※編寫出版《安全協(xié)議形式化分析與驗(yàn)證》專著一部

※已培養(yǎng)博士生、碩士生40余名，5名碩士生獲江西省優(yōu)秀碩士學(xué)位論文。軟件工程、VR等新興交叉學(xué)科，已列為學(xué)?！笆奈濉睂W(xué)科特區(qū)著力進(jìn)行建設(shè)。