王昌晶, 男，1977年出生。现为江西师大计算机学院教授、博士生导师，博士毕业于中国科学院软件研究所。研究方向为高可信与智能化软件。
江西省委办公厅信息决策咨询专家库专家、江西省“百人远航”计划人选，入选省委人才办重点人才库。中国计算机学会高级会员、中国计算机学会理论计算机科学专委执行委员、形式化方法专委执行委员。计算机信息工程学院学术委员会委员、网络化支撑软件国家级国际科技合作基地学科方向带头人。江西省科技奖励评审会评专家、国家自然科学基金评审专家、科技部国家科技专家库专家、教育部学位中心学位论文评审专家、江西省工信厅大数据专家、江西省标准化协会专家。IJAIT等3个国际学术期刊的编委。JCST、计算机学报、IJSEKE等多个国内外权威期刊的审稿人。曾赴澳大利亚、美国和英国做访问学者。
在国内外高水平学术期刊和会议上发表了 60余篇高质量论文，包括中国计算机学会推荐的CCF A类国际期刊会议TOSEM、ICSE、TSC, SCI期刊Information Sciences（中科院一区Top），中国计算机学会推荐的重要国际期刊会议IJSEKE、QRS、ICECCS，推荐的CCF A/B类中文学术期刊软件学报、电子学报、计算机研究与发展、信息安全学报、计算机科学，其中40余篇被SCI/EI检索。
主持完成国家级课题2项，主持省部级课题8项，其中重点课题2项。江西师范大学“正大学者-青年英才”资助计划人选，获2017年中国精品科技期刊顶尖学术论文奖，第五届江西省高等学校科技成果二等奖。在科学出版社等国家级出版社学术专著4部，授权专利4项。
主持省级精品资源共享课1项，主持完成省级教改课题4项，其中省级重点项目2项。获省教学成果二等奖3次，江西省高等学校优秀教材一等奖、二等奖各1次。出版教材8部。中国大学生服务外包创新创业大赛全国赛决赛会评专家。指导学生获全国“互联网+”创新创业大赛全国铜奖、全国三维数字化创新设计大赛全国总决赛一等奖、全国大学生数字媒体科技作品大赛全国总决赛一等奖、国家级大学生创新创业训练计划等国家级奖励20余项。
高可信与智能化软件团队招收硕博士研究生（2023年）
一、导师组研究方向
本团队导师组博士分别毕业于中国科学院软件研究所、武汉大学、北京航空航天大学等知名学府，同时是美国加州州立大学、澳大利亚国立大学、英国莱斯特大学等世界著名大学国家公派访问学者。
导师组指导的研究生获江西省首届十佳实践之星（全校唯一），多次获国家奖学金、省政府奖学金和省级研究生创新基金，近3年大部分研究生获省级学业奖学金。本团队在中国计算机学会推荐的CCF A类国际期刊会议ICSE、ASE、TSC, SCI期刊Information Sciences（中科院一区Top）、Cluster Computing（JCR一区），中国计算机学会推荐的重要国际期刊会议IJSEKE、QRS、ICECCS、ICFEM，推荐的CCF A/B类中文学术期刊软件学报、电子学报、计算机研究与发展、信息安全学报、计算机科学发表了一系列高质量论文。
指导学生获全国互联网+创新创业大赛全国铜奖、中国研究生数学建模竞赛全国三等奖、ACM-ICPC国际大学生程序设计竞赛全国邀请赛金奖、全国三维数字化创新设计大赛全国一等奖、中国大学生计算机设计大赛全国二等奖、全国大学生数字媒体科技作品大赛全国总决赛一等奖、团队程序设计天梯赛全国一等奖、“蓝桥杯”全国软件和信息技术专业人才大赛全国一等奖、国家级大学生创新创业训练计划等教育部认可的国家级A类竞赛奖励60余项。
现招收硕士生和博士生，采用导师组联合培养方式。研究方向如下：
（一）可信软件建模与验证，主要基于函数式范式与自动机理论与方法，采用定理证明和模型检测技术（本方向同时招收博士生）。
1.函数式建模与验证：关键核心算法的建模与验证，应用于安全攸关软件系统
2.图计算：（树）图算法的建模和验证，应用于大数据平台Hadoop、Spark
3.并行计算：并行算法的推导与验证，应用于多核、并发分布式系统
4.概率计算：概率系统的建模、验证及应用研究，应用于随机行为系统
5.实时和混成计算：实时和混成系统的建模、验证与应用研究，应用于信息物理系统（CPS）
6.边缘计算：边缘计算系统的建模、验证与应用研究，尤其是系统资源实时调度研究，应用于自动驾驶系统等
7.模型驱动的软件开发: 包括软件系统建模、模型转换与模型验证，应用于模型驱动工程
8.定理证明新研究方向：ChatGPT与定理证明融合
9.模型检测新研究方向：区块链智能合约建模与验证
（二）智能化软件与智能化教育，主要基于信息检索、机器学习（尤其是大模型）与知识图谱技术。
1.智能化软件开发：代码搜索，代码生成，API推荐，服务复用，智能人机接口软件（与AI机器人一起结对编程）
2.开源软件大数据分析：软件度量，软件数据分析，尤其是开源软件及社区
3.区块链底层架构关键技术研究：共识算法研究、安全漏洞检测、绿色能耗预测
4.智能化教育：教育大数据挖掘，知识图谱构建与融合，知识推理与发现
（三）智慧+X应用，主要基于大数据、人工智能、物联网、云计算、5G与区块链技术，面向教育部认可的国家级A类竞赛（含研究生数学建模）和产学研应用。
1.智慧+医疗：开创“健康管理-线上购药-粉碎煎药”一体化服务，为医疗行业带来突破性变革。通过智能设备、体检报告等多种方式获取用户健康数据，采用数字孪生算法引擎实现数据人体3D三维化展示，健康管理系统针对用户数据推送给用户个性化预治方案。
2.智慧+VR：构建智慧虚拟现实平台，基于网络和分布式虚拟现实DVR技术，提供智慧教育、智慧旅游、智慧娱乐等服务。
二、团队新闻报道
1.江西师范大学计算机学院高可信与智能化软件研究团队在软件工程领域国际顶级会议ICSE 2023发表最新研究成果 (jxnu.edu.cn)
2.江西师范大学计算机学院高可信与智能化软件研究团队在软件基础理论与形式化方法领域发表重要研究成果 (jxnu.edu.cn)
3.江西师范大学计算机学院黄箐博士在软件工程领域顶级期刊TSC上发表论文 (jxnu.edu.cn)
4.江西师范大学赣教研字〔2021〕14号 关于公布首批江西省研究生“十佳学术之星”“十佳实践之星”评选结果的通知 (jxnu.edu.cn)（苏葳）
5.江西师范大学我校学生获“全国三维数字化创新设计大赛”全国总决赛团队一、二等奖 (jxnu.edu.cn)
6.江西师范大学计算机学院“教学月”系列活动：学生学科竞赛成果展暨研讨会 (jxnu.edu.cn)
7.江西师范大学“信”之所向 研路花开——计算机学院召开2023届考研复试及调剂辅导会 (jxnu.edu.cn)
三、招收条件
欢迎学硕（计算机科学与技术、软件工程）、电子信息专硕（计算机技术、软件工程、大数据、人工智能、信息安全）、学博（管理科学与工程信息管理与信息系统方向）等相关专业，对上述研究方向感兴趣，数学和逻辑基础好，或动手编程能力强的硕士生和博士生加入。
四、近3年毕业研究生去向
袁志强：23届毕业，复旦大学 博士研究生
胡颖： 23届毕业，东华理工大学 教师
牛梦强：23届毕业，杭州银行
丁希龙：22届毕业，江西财经职业学院 教师
陈茜： 22届毕业，江苏苏州中国移动云计算中心
梁赞杨：22届毕业，南昌市政务服务数据管理局 洪城人才引进
苏葳： 22届毕业，江西工业工程职业技术学院 教师
余小军：21届毕业，东华理工大学 教师
蔡富祺：21届毕业，中国银行深圳分行 数据分析师
方越： 21届毕业，江苏省苏州市姑苏区教育局 教师
贺江飞：20届毕业，萍乡学院 教师
许帆： 20届毕业，江苏食品药品职业技术学院 教师
刘志豪：20届毕业，南通理工学院 教师
五、联系方式
联系人：王老师
网址：https://jsjxy.jxnu.edu.cn/2014/0423/c3381a106167/page.htm
E-mail：wcj@jxnu.edu.cn，发邮件时请提供个人简历。
