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