简介

    王昌晶,博士，硕导，副教授。2010年毕业于中科院软件所，研究方向为软件形式化、可信软件、模型驱动软件开发、并发分布式算法与协议验证、服务计算。毕业后到江西师范大学计算机信息工程学院、中科院计算所与江西省共建的省高性能计算重点实验室、江西省高校软件中心继续进行研究工作。国家自然科学基金、科技部国家科技专家库专家、南昌市科技局项目评审专家。JCST、计算机学报及多个国内外期刊的审稿人。中国计算机学会、美国ACM计算机学会会员。曾赴澳大利亚、美国做访问学者。  

    近五年来，在国内外学术刊物上发表论文30余篇，含软件学报、电子学报、计算机研究与发展、清华大学学报、武汉大学学报、LectureNotes of Computer Science、IEEE Compute Society等重要刊物，其中以第一作者发表一级学报5篇，10余篇被SCI、EI检索。主持国家课题1项，主持省部级重点课题1项，省部级课题6项。参与国家级、省部级课题10余项，包括国家自然科学基金重大国际（地区）合作与交流项目、科技部国际合作项目、国家重大基础研究973计划预研、国家自然科学基金自由申请项目、江西省自然科学基金项目、江西省教育厅科学基金项目等。

       江西师范大学正大学者-青年英才资助计划人选，获第五届江西省高等学校科技成果二等奖。

       出版学术专著一部。

       主持省级精品资源共享课1项，主持省级教改课题3项（其中重点课题1项），校级教改重点课题1项，校数字化优质教学资源建设项目1项。参与江西省教育厅本科教学质量与教学改革工程项目（双语教学示范课程）1项（排名第2），省级教改课题1项（排名第2），校数字化优质教学资源建设项目1项（排名第2）。获省江西省普通高等学校优秀教材一等奖1次(副主编)，省江西省普通高等学校优秀教材二等奖1次（副主编）。第八届中国大学生计算机设计大赛二等奖（指导老师）。

       参与省校级教改项目10余项。

    出版教材八部。

      （E-mail：[e-mail]）（QQ号：54387474）