张健研究员团队参与获得 2021 年度国家自然科学基金重点项目资助

2021 年 8 月 18 日，国家自然科学基金委员会公布了 2021 年度国家自然科学基金评审结果。中国科学院软件研究所获得多项资助，其中由 SQuARE 组张健研究员牵头申报的 “面向形式化验证的可信编译和程序分析” 项目获得国家自然科学基金重点项目资助。

张健研究员长期致力于自动推理、约束求解、程序静态分析与检错、软件测试数据生成等方向的研究，并担任多项国内外权威学术期刊编委。此次重点项目将围绕程序分析和加固技术的验证、语义增强的程序分析、面向形式验证的程序化简、形式规约的检查等方面开展深入研究。