您当前浏览器版本过低,为了不影响您的使用,建议您使用最新的谷歌浏览器、火狐浏览器、 360浏览器,更换浏览器后使用更流畅!(注意!双核浏览器请切换为极速模式)
400-607-9388
  • 王昌晶
  • 所属院校: 江西师范大学
  • 所属院系: 计算机信息工程学院
  • 职称: 教授
  • 导师类型:
  • 招生专业:
  • 研究领域: 1、可信软件,包括软件形式化,程序分析与验证,模型驱动的软件开发,并发分布式计算等,主要基于逻辑与自动机理论; 2、智能化软件,包括代码搜索,api推荐,服务复用,代码生成等,主要基于大数据与人工智能技术。
个人简介

个人简介

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

以上内容源自网络公开信息,仅作学术交流之目的,非为商业用途。
如若涉及侵权事宜,请及时与我们联络,我们将即刻修正或删除相关内容。
确定
匹配导师

资料审核中

您的资料已提交成功!

我们的工作人员会将会在3-5个工作日内和您联系

返回