新闻
2026
-
录用2026年4月16日Fixed-Point Guided ADS Scenario Generation via Multi-Modal LLM Reasoning and Software Testing 被 CCF-A 类会议 ISSTA 2026 录用。
-
录用2026年5月1日A Comprehensive Fine-Grained Evaluation of LLMs in Data Race Detection 被 CCF-A 类会议 ICML 2026 录用。
2025
-
获奖2025年7月18日张健研究员获 QRS 二十五周年特别荣誉奖（Special Recognition Award）
张健研究员荣获 IEEE 软件质量、可靠性与安全国际会议（QRS）颁发的“特别荣誉奖”，以表彰其在程序分析与测试数据生成领域的长期贡献。
-
获奖2025年7月17日张健研究员荣获中国科学院大学2025年“教育教学成果奖”一等奖
2024
-
获奖2024年2月2日黄沛博士荣获 “CCF 博士学位论文激励计划” 提名
2022 届毕业生黄沛博士（导师：张健教授）凭借其博士学位论文《逻辑公式可满足性判定中的推理技术研究》获得 “CCF 博士学位论文激励计划” 提名。“CCF 博士学位论文激励计划” 旨在激励计算机领域博士研究生潜心钻研、务实创新，表彰在计算机领域取得优秀成果的青年学者。本年度共有 9 篇论文入选该激励计划，5 篇论文获得提名。
2023
-
获奖2023年8月9日非线性整数约束求解研究工作获 ACM SIGSOFT 杰出论文奖
近日，博士生贾富琦、马菲菲研究员和张健研究员，与中国科学院软件研究所计算机科学国家重点实验室、并行软件与计算科学实验室合作完成的论文《Improving Bit-Blasting for Nonlinear Integer Constraints》荣获 ACM SIGSOFT 杰出论文奖（ACM SIGSOFT Distinguished Paper Award）。
-
获奖2023年12月1日《软件测试与分析》课程获评国科大2023年校级“本科生优秀课程”
近日，2023年中国科学院大学校级“本科生优秀课程”评选名单公布，由软件所开设的计算机专业选修课——《软件测试与分析》名列其中。 课程授课团队成员为严俊研究员、张健研究员和燕季薇助理研究员。授课团队长期从事程序分析与测试领域的科研和教学工作，2023年度荣获了中国科学院大学“领雁奖银奖·振翅奖”。
2021
-
获奖2021年8月20日张健研究员获得 2021 年度国家自然科学基金重点项目资助
2021 年 8 月 18 日，国家自然科学基金委员会公布了 2021 年度国家自然科学基金评审结果。中国科学院软件研究所获得多项资助，其中由张健研究员牵头申报的 “面向形式化验证的可信编译和程序分析” 项目获得国家自然科学基金重点项目资助。
-
获奖2021年12月21日张健、蔡彦研究员获 2021 年度 CCF 科学技术奖自然科学一等奖
2021 年 12 月 17 日，在中国计算机大会（CNCC2021）期间，中国计算机学会（CCF）举行了年度颁奖典礼。中国科学院软件研究所与中国人民大学合作完成的成果 “高精度智能化的软件分析与测试方法” 荣获 2021 年度 CCF 科学技术奖自然科学一等奖。张健研究员、蔡彦研究员是主要完成者之一。
2019
-
获奖2019年1月21日张健研究员当选 CCF 会士
2018 年度 CCF 会士评选会在学会总部举行，经过讨论和无记名投票，7位 CCF 杰出会员当选 CCF 会士。中国科学院软件研究所张健研究员成功当选。CCF 设立会士制度旨在表彰在计算机领域取得卓越成就或为 CCF 做出突出贡献并有连续五年以上会籍的 CCF 会员。会士是会员在 CCF 的最高学术荣誉。