学院概况

梅宏院士牵头的创新研究群体项目获国家自然科学基金委员会第三次资助

发布时间:2014-12-30

信息来源:

梅宏院士作为学术带头人、以高可信软件技术教育部重点实验室为基础的创新研究群体项目可信软件的基础理论、方法和技术研究获得国家自然科学基金委员会(简称“基金委”)再次延续资助批准,将实施第三个三年研究计划。

创新研究群体项目是基金委为稳定地支持基础科学的前沿研究,培养和造就具有创新能力的人才和群体而设立的高层次专项人才基金。梅宏院士团队是基金委信息科学部今年获得第三次资助的唯一群体(基金委共有10个团队获得)。

在以往的六年发展过程中,该创新研究群体以网构软件范型为基础,以软件可信性为核心关注点,以软件开发、软件运行、软件理论为稳定的研究方向,主要成果包括:(1)以主流的软件开发方法为基础,研究了适用于可信软件的系列开发技术,包括面向复用的软件可信性分析与评估、软件缺陷的发现与修复、基于知识的可信性分析等,初步建立起了一套国际先进、适用完整的理论与方法体系。(2)结合云计算及移动互联网面临的系列挑战,例如:服务质量、资源管理、安全保障等,重点研究了云计算环境中的资源管理、云端融合的运行管理以及系列软件安全技术,部分成果处于国际领先水平。(3)结合软件可信性的理论问题,开展了程序模型构造、算法优化与计算模型等方面的研究,并在软件验证技术、可满足性问题、新计算模型方面分别取得了国际领先的研究成果。基于上述成果,团队获得国家自然科学奖二等奖2项,教育部科学技术进步奖一等奖2项,中国电子学会电子信息科学技术奖一等奖1项。

未来三年中,该群体将在现有研究的基础之上,结合软件工程领域已经积累的大量数据(开源代码、问题跟踪、问答信息、系统日志、等等),重点研究数据驱动的可信软件理论、方法和技术,目标在软件领域奠定国际领先的前沿地位。