个人简历

王昌晶,教授，博士生导师。1977年出生，2010年毕业于中科院软件所。毕业后到江西师范大学计算机信息工程学院、“网络化支撑软件”国家级国际科技合作基地、中科院计算所与江西省共建的省高性能计算重点实验室继续进行研究工作。
近年来，在国内外学术刊物上发表论文30余篇，含软件学报、电子学报、计算机研究与发展、清华大学学报、武汉大学学报、LectureNotesofComputerScience、IEEEComputeSociety等重要刊物，其中20余篇被SCI/EI检索。主持国家课题2项，主持省部级重点课题2项，省级课题6项。参与国家级、省部级课题10余项，包括国家自然科学基金重大国际（地区）合作与交流项目、科技部国际合作项目、国家重大基础研究973计划预研、国家自然科学基金面上项目、江西省自然科学基金项目、江西省教育厅科学基金项目等。江西省百人远航计划人选,江西师范大学正大学者-青年英才资助计划人选，获第五届江西省高等学校科技成果二等奖,出版学术专著2部。
主持省级精品资源共享课1项，主持省级教改项目3项（含重点项目1项）。参与省级、校级教改课题10余项。获第八届中国大学生计算机设计大赛二等奖（指导老师），江西省高等学校优秀教材一等奖、二等奖各1次,获校级教学成果一等奖2次，二等奖2次。出版教材8部。
招收研究生：欢迎对计算机科学与技术、软件工程感兴趣，数学（逻辑）基础好或动手编程能力强的研究生加入。

研究领域

1、可信软件，包括软件形式化，程序分析与验证，模型驱动的软件开发，并发分布式计算等，主要基于逻辑与自动机理论；
2、智能化软件，包括代码搜索，api推荐，服务复用，代码生成等，主要基于大数据与人工智能技术。
国家自然科学基金评审专家、科技部国家科技专家库专家、教育部学位中心学位论文评审专家、江西省科技奖励评审会评专家、江西省自然科学基金评审专家、江西省委办公厅信息决策咨询专家库专家、南昌市科技局项目评审专家。JCST、计算机学报及多个国内外期刊的审稿人。CCF、ACM会员。曾赴澳大利亚、美国做访问学者。