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