王昌晶

---------------------------------------------------------------------------------------------------------------------

姓名：王昌晶 职务：院学术委员会主任 职称：教授、博导 学历：博士研究生 邮箱：wcj771006 AT163.com

----------------------------------------------------------------------------------------------------------------------

教授、博士生导师，博士毕业于中国科学院软件所。研究方向为高可信与智能化软件。入选省级人才，江西师范大学计算机学院学术委员会主任。CCF高级会员，理论计算机科学专委、形式化方法专委执行委员。澳大利亚、美国和英国访问学者。在国内外高水平学术刊物发表了 60 余篇论文，包括CCF A类国际顶级期刊会议ASE、ICSE、TOSEM、TSC，CCF A类中文学术期刊软件学报、电子学报、计算机研究与发展。主持完成国家级课题2项，省部级课题9项，其中重点课题3项。

----------------------------------------------------------------------------------------------------------------------

本科 1995/09 — 1999/06，江西师范大学，计算机系

硕士 2001/09 — 2004/06，江西师范大学，计算机信息工程学院

博士 2004/09 — 2010/06，中国科学院，软件研究所

访问学者

2003/07 — 2003/08，澳大利亚，西悉尼大学

2013/08 — 2014/01，美国，加州州立大学富乐敦分校

2017/01 — 2017/10，英国，密德萨斯大学、伦敦大学伯贝克学院，

----------------------------------------------------------------------------------------------------------------------

1. 江西省赣鄱俊才省主要学科学术与技术带头人-学术领军人才项目：高可信软件函数式循环不变式生成与验证关键技术研究（编号：20232BCJ22013） 2024.1-2026.12 主持 在研 50

2. 
   

3. 国家自然科学基金项目: 云计算环境下基于不变式的并发分布式算法形式化验证方法研究（编号61762049）2018.1-2022.03 主持已结题38万元

4. 国家自然科学基金项目: 形式化软件规约Radl获取、验证与确认方法研究（编号61363012）2014.1-2018.03 主持 已结题45万元

5. 江西省自然科学基金面上项目: 一种新颖的融合依赖-卫式推理与循环不变式开发新策略的两层并行分布式算法形式化验证方法 (编号：20202BABL202025) 2020.1-2021.12 主持已结题6万元

6. 江西省自然科学基金面上项目: 云计算环境下并发分布式算法新型验证方法研究 (编号：20171BAB202013) 2017.1-2018.12 主持 已结题 6万元

7. 江西省自然科学基金面上项目: 基于扩展逻辑变换系统μTS的可信优化编译研究 (编号20142BAB207026) 2014.1-2015.12 主持 已结题：优秀 5万元

8. 江西省自然科学基金青年项目: PAR平台形式化软件规约生成系统及其相关理论研究(编号20122BAB211030) 2013.1-2014.12 主持 已结题：良好 2万元

9. 江西省教育厅科学基金重点项目: 基于模型驱动的分治并行函数式程序生成及自动验证（编号GJJ2200302）2023.1-2024.12 主持 在研 5万元

----------------------------------------------------------------------------------------------------------------------.

在国内外高水平学术期刊和会议上发表了 60 余篇论文，包括中国计算机学会推荐的CCF A类国际顶级期刊会议ASE、ICSE、TOSEM、TSC, SCI期刊Information Sciences（中科院一区Top），推荐的CCF A类中文学术期刊软件学报、电子学报、计算机研究与发展，其中40余篇被SCI/EI检索。

----------------------------------------------------------------------------------------------------------------------

授权国家专利4项，获软件著作权10余项。

----------------------------------------------------------------------------------------------------------------------

江西省赣鄱俊才省主要学科学术与技术带头人-学术领军人才、省委办公厅信息决策咨询专家库专家、省委人才办重点人才库、省委组织部“百人远航”计划人选。江西师范大学正大学者-青年英才资助计划人选，获2016年度中国精品科技期刊顶尖学术论文奖，第五届江西省高等学校科技成果二等奖。获省教学成果二等奖3次。中国大学生服务外包创新创业大赛全国赛决赛会评专家。

指导研究生获省“双十佳” (全省仅10个,全校唯一) 、“互联网+”大赛国家铜奖、三维数字化创新设计大赛国家一等奖、全国大学生数字媒体科技作品大赛国家一等奖、国家级大学生创新创业训练计划（均为第一指导教师）等教育部认可的国家级A类竞赛奖励20余项。

----------------------------------------------------------------------------------------------------------------------

计算机信息工程学院学术委员会主任，网络化支撑软件国家级国际科技合作基地学科方向带头人。CCF高级会员，理论计算机科学专委、形式化方法专委执行委员，江西省城市安全信息化学会常务理事。江西省科技奖励评审会评专家、国家自然科学基金评审专家、科技部国家科技专家库评审专家、教育部学位中心学位论文评审专家、江西省自然科学基金评审专家、江西省工信厅大数据专家、江西省工信厅软件与虚拟现实专家、江西省标准化协会专家库专家、南昌市科技局、人社局项目评审专家。IJAIT等3个国际学术期刊编委。JCST、计算机学报、IJSEKE及多个国内外期刊的审稿人。

----------------------------------------------------------------------------------------------------------------------

学术型：计算机科学与技术、软件工程

专业硕士：计算机技术、软件工程、大数据技术与工程、人工智能、网络与信息安全