张健、严俊研究员获 2021 年度 CCF 科学技术奖自然科学一等奖

2021 年 12 月 17 日，在中国计算机大会（CNCC2021）期间，中国计算机学会（CCF）举行了年度颁奖典礼。中国科学院软件研究所与中国人民大学合作完成的成果 “高精度智能化的软件分析与测试方法” 荣获 2021 年度 CCF 科学技术奖自然科学一等奖。其中 SQuARE 组张健研究员、严俊研究员是主要完成者之一。

本项目针对软件分析与测试领域中的精度、知识获取难题，以及移动计算和人工智能带来的新需求，从静态分析效能提升、组合测试、模糊测试、并发测试等多个角度出发，显著提高了软件分析与测试方法的精度和智能化水平。相关研究成果不仅在学术界产生重要影响，也被应用于实际工业项目，有效发现了多个著名开源软件和软件产品中的缺陷。

“CCF 科学技术奖” 旨在授予在计算机科学、技术或工程领域具有重要发现、发明、原始创新，在相关领域有一定国际影响的优秀成果。会议还颁发了 CCF 王选奖、CCF 海外杰出贡献奖、CCF-ACM 人工智能奖、CCF-IEEE CS 青年科学家奖。