您所在的位置: 首页 >> 综合新闻 >> 正文

综合新闻

永利官网2个项目获得2013年教育部博士点基金资助
发布时间:2013-11-07     浏览量:   分享到:

   近日,教育部科技发展中心公布了2013年高等学校博士学科点专项科研基金课题立项情况,我校共10个项目获得立项,其中,永利官网2个项目获得立项,资助总经费16万元。李永明教授的《量子计算模型与量化模型检测的理论及其应用研究》获得12万元博导类项目资助,席政军老师的《测量基程序语言形式化验证的Hoare逻辑》获得4万元的新教师类项目资助。具体清单如下:

序号

项目名称

负责人

项目号

院系

资助金额(万元)

执行年度

项目类型

1

量化计算模型与量化模型检测的理论及其应用研究

李永明

20130202110001

yL23411永利官网登录

12

2014.01-2016.12

博导类

2

测量基程序语言形式化验证的Hoare逻辑

席政军

20130202120002

yL23411永利官网登录

4

2014.01-2016.12

新教师类