✦个人简介

肖美华，男，1967年1月出生，博士，二级教授，博士生导师，现任华东交通大学虚拟现实（VR）产业学院院长。美国康奈尔大学、休斯顿大学公派访问学者。先后入选江西省“双千计划”科技创新培养类高端人才项目、江西省主要学科学术与技术带头人、江西省百千万人才工程、江西省高校中青年学科带头人、江西省高校中青年骨干教师人才计划；入选科技部创新人才推进计划重点领域创新团队核心成员，华东交通大学“软件工程”学科带头人，华东交通大学“天佑人才计划”天佑优秀人才。中国计算机学会高级会员、中国高校计算机基础教育研究会常务理事、中国软件行业协会理事、CCF软件工程专委会委员、CCF理论计算机科学专委会委员，CCF形式化方法专委会常委、委员，中国电子学会信息论分会专委会委员。江西省虚拟现实教育联盟常务副理事长、江西省区块链学会副理事长、江西省普通高等学校计算机类专业教学指导委员会副主任委员、江西省智慧金融联盟副秘书长。江西省计算机学会常务理事、江西省计算机学会人工智能及应用专委会副主任、江西省计算机学会网络智能计算专委会副主任、虚拟现实制造业技术创新战略联盟理事、江西省服务贸易（外包）促进会专家库成员、江西省保密科技领域专家。国际会议IFTG07担任Session Chair，国际会议FAW、SNPC、WISM-AICI程序委员会委员，IEEE Trans. on ITS、国内期刊JCST、软件学报、计算机学报、计算机研究与发展等评审专家。作为主持人，承担或完成国家自然科学基金、中国博士后科学基金、教育部留学回国人员科研启动基金、计算机软件新技术国家重点实验室开放课题、江西省自然科学基金、江西省科技攻关计划、江西省高校科技落地计划、江西省教育厅科技计划20余项；通过省级鉴定项目8项，获江西省科技进步奖三等奖（第一完成人）、中国铁道学会科学技术奖励三等奖（第二完成人）、江西省高校科技成果二等奖（第一完成人）、江西省教学成果二等奖（第一完成人）；以第一作者在国内外计算机学术刊物、国际会议上发表论文70余篇，SCI、EI收录40余篇。发明专利8项、软件著作权17项，专著1部。

✦研究方向

※形式化方法

※网络安全

※区块链

✦主要学术荣誉

※江西省“双千计划”科技创新培养类高端人才

※江西省主要学科学术和技术带头人

※江西省百千万人才工程人选

※江西省高校中青年学科带头人

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

※科技部创新人才推进计划重点领域创新团队核心成员

※华东交通大学“软件工程”学科带头人

※华东交通大学“天佑人才计划”天佑优秀人才

✦主要科研项目

※主持国家自然科学基金4项（在研1项、完成3项）

※主持江西省主要学科学术和技术带头人资助计划1项

※主持中国博士后科学基金面上项目1项

※江西省自然科学基金(含重点)3项

✦奖励情况

※网络信息安全自动分析与评测关键技术及应用，获2021年江西省科技进步奖三等奖，排名第一

※和谐电力机车乘务员行车知识与应急技能VR实训系统，获2023年中国铁道学会科学技术奖三等奖，排名第二

※基于事件逻辑的WMN客户端与LTCA认证协议安全性分析，获2018年全国理论计算机科学学术年会最佳论文奖，排名第一

※网络安全协议的形式化分析，获2021年Delivering The Keynote Speech in ICSSES & ICEITCS 2021,Yaseen Academy，雅森学术会议奖，排名第一

※网络安全协议的模型检测分析及其支撑系统开发，获2013年江西省高等学校科技成果奖二等奖，排名第一

※网络安全认证协议形式化分析，获第20次全国计算机安全学术年会优秀论文，排名第一

※基于模型检测技术的网络安全协议形式化分析与研究，获2009年江西省计算机学会优秀学术论文二等奖，排名第一

※江西省“软件工程”省级教学团队负责人，2022年

※江西省“软件工程与网络空间安全”省级实验示范中心主任，2022年

✦教学和人才培养情况

※编写出版《安全协议形式化分析与验证》专著一部

※已培养博士生、硕士生40余名。指导的研究生有3人获江西省研究生创新基金，5人获江西省优秀硕士学位论文。

✦联系方式

E-mail：xiaomh@ecjtu.edu.cn