王昌晶, 男，1977年出生。现为江西师大计算机学院教授、博士生导师，博士毕业于中国科学院软件研究所。江西省委办公厅信息决策咨询专家库专家、江西省“百人远航”计划人选，入选省委人才办重点人才库。中国计算机学会高级会员、中国计算机学会理论计算机科学专委委员、形式化方法专委委员。计算机信息工程学院学术委员会委员、网络化支撑软件国家级国际科技合作基地学科方向带头人。国家自然科学基金评审专家、科技部国家科技专家库专家、教育部学位中心学位论文评审专家、江西省科技奖励评审会评专家、江西省自然科学基金评审专家、南昌市科技局项目评审专家。IJAIT等3个国际学术期刊的编委。JCST、计算机学报、IJSEKE等多个国内外权威期刊的审稿人。曾赴澳大利亚、美国和英国做访问****。
在国内外学术刊物上发表论文40余篇，含软件学报、电子学报、计算机研究与发展、清华大学学报、武汉大学学报、IJSEKE、Lecture Notes of Computer Science、IEEE Compute Society等重要刊物，其中30余篇被SCI/EI检索。承担国家与省部级课题20余项。江西师范大学“正大****-青年英才”资助计划人选，获2016年度中国精品科技期刊顶尖学术论文奖，第五届江西省高等学校科技成果二等奖,出版学术专著3部，获软件著作权4个。
主持省级精品资源共享课1项，承担省级与校级教改项目20余项（含省级重点项目2项）。获省教学成果二等奖2次、校级教学成果一等奖2次、二等奖1次。获江西省高等学校优秀教材一等奖、二等奖各1次。出版教材8部。中国大学生服务外包创新创业大赛全国赛决赛会评专家。


高可信与智能化软件团队招收硕博士研究生（2021年）


一、导师组研究方向
本团队包括10余名教师，其中8位获博士学位，博士分别毕业于中科院软件所、上海交通大学、北京航空航天大学、武汉大学等知名学府，大部分教师是澳大利亚国立大学、英国玛丽女王学院、英国莱斯特大学、日本广岛大学和美国加州州立大学等世界著名大学国家公派访问****。
团队指导的研究生多次获国家奖学金、省政府奖学金和省级研究生创新基金。指导学生获中国研究生数学建模竞赛、ACM-ICPC国际大学生程序设计竞赛、中国大学生计算机设计大赛、“蓝桥杯”全国软件和信息技术专业人才大赛、国家级大学生创新创业训练计划等国家级竞赛奖励30余项。
现招收硕士生和博士生，采用导师组联合培养方式。研究方向如下：
（一）可信软件构造与验证，主要基于逻辑与自动机理论与方法，采用定理证明和模型检测技术。
1. 自动验证：算法程序的设计与验证
2. 图计算：（树）图算法的设计与验证
3. 云计算：并行、并发与分布式算法的设计与验证
4. 服务计算：服务及其组合的建模与验证
5. MDD:模型驱动的软件开发, 包括建模、模型转换与模型验证
6. 泛型程序设计：类型、操作、对象、组件、进程、服务、子系统等可做参数的参数化程序设计及验证
7. 新型软件前沿方向：区块链智能合约的测试与验证
（二）智能化软件与智能化教育，主要基于信息检索、机器学习（尤其是深度学习）与知识图谱技术。
1. 智能化软件开发：代码搜索，代码生成，API推荐，服务复用，智能人机接口软件（与AI机器人一起结对编程）
2. 开源软件大数据分析：软件度量，软件数据分析，尤其是开源软件及社区
3. 区块链底层架构关键技术研究：共识算法研究、安全漏洞检测、绿色能耗预测
4. 智能化教育：教育大数据挖掘，知识图谱构建与融合，知识推理与发现
（三）智慧+X应用，主要基于大数据、物联网、云计算、人工智能、5G与区块链技术，面向产学研应用、各类创新创业大赛和研究生数学建模竞赛。
1. 智慧+医疗：构建互联网医疗云平台（尤其是中医特色），打通远程线上服务全流程，进而提供智能、精准服务，全面提升远程医疗和护理能力。
2. 区块链+社保：区块链具有开放、共识，去中心、去信任，交易透明、双方匿名，不可篡改、可追溯等特点，将其应用于人社就业创业、社会保险、劳动关系和人事人才业务，构造链上民生服务新生态，有效提升人社民生服务能力。
3. 智慧+消防：建立分级预警的消防大数据应用平台，将城市物联网消防远程监控系统、智能独立式烟感报警系统、移动执法手机APP等系统集成一网运行，实现在线监测、智能分析和分级预警功能，并与消防应急指挥系统互联互通，全方位保障人民生命和财产安全。

二、招收条件
欢迎计算机科学与技术、软件工程、大数据、人工智能、物联网或网络工程等相关专业，对上述研究方向感兴趣，数学和逻辑基础好，或动手编程能力强的硕士生和博士生加入。

三、联系方式
联系人：王老师
网址：https://jsjxy.jxnu.edu.cn/2014/0423/c3381a106167/page.htm
手机（微信）：**
E-mail：wcj771006@163.com，发邮件时请提供个人简历