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

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