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

综合新闻

公司2个项目获得2013年教育部博士点基金资助

发布时间：2013-11-07 浏览量：分享到：

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

序号	项目名称	负责人	项目号	院系	资助金额（万元）	执行年度	项目类型
1	量化计算模型与量化模型检测的理论及其应用研究	李永明	20130202110001	bevitor伟德官网	12	2014.01-2016.12	博导类