- CSUR 录用论文一篇
On Models for Sound Dynamic Data Race Detection: A Surv …
- ICML 2026录用论文两篇
A Comprehensive Fine-Grained Evaluation of LLMs in Data …
- ISSTA 录用文章两篇
Fixed-Point Guided ADS Scenario Generation via Multi-Mo …
- 张健研究员获 QRS 二十五周年特别荣誉奖
张健研究员荣获 IEEE 软件质量、可靠性与安全国际会议（QRS）颁发的“特别荣誉奖”，以表彰其在程序分析与测 …
- 张健研究员荣获中国科学院大学2025年“教育教学成果奖”一等奖
张健研究员荣获中国科学院大学2025年“教育教学成果奖”一等奖。
- 黄沛博士荣获 “CCF 博士学位论文激励计划” 提名
2022 届毕业生黄沛博士（导师：张健教授）凭借其博士学位论文《逻辑公式可满足性判定中的推理技术研究》获得 “ …
- 非线性整数约束求解研究工作获 ACM SIGSOFT 杰出论文奖
近日，博士生贾富琦、马菲菲研究员和张健研究员，与中国科学院软件研究所计算机科学国家重点实验室、并行软件与计算科 …
- 张健、严俊、蔡彦研究员获 2021 年度 CCF 科学技术奖自然科学一等奖
2021 年 12 月 17 日，在中国计算机大会（CNCC2021）期间，中国计算机学会（CCF）举行了年度 …
