ARCHIVE

分类：获奖

2026 · 09 · 15

研究室论文获得软件工程顶级会议ASE 2026杰出论文奖

近日，研究室论文 Hybrid Fuzzing in […]

阅读全文 →

2026 · 08 · 20

基础软件测试与分析研究室自研SMT求解器Xolver、并在2026年度国际SMT求解器竞赛荣获两项冠军

中国科学院软件研究所 · 基础软件与系统重点实验室 […]

阅读全文 →

2025 · 07 · 18

张健研究员获 QRS 二十五周年特别荣誉奖

张健研究员荣获 IEEE 软件质量、可靠性与安全国际 […]

阅读全文 →

2025 · 07 · 17

张健研究员荣获中国科学院大学2025年“教育教学成果奖”一等奖

张健研究员荣获中国科学院大学2025年“教育教学成果 […]

阅读全文 →

2024 · 02 · 02

黄沛博士荣获 “CCF 博士学位论文激励计划” 提名

2022 届毕业生黄沛博士（导师：张健教授）凭借其博 […]

阅读全文 →

2023 · 08 · 09

非线性整数约束求解研究工作获 ACM SIGSOFT 杰出论文奖

近日，博士生贾富琦、马菲菲研究员和张健研究员，与中国 […]

阅读全文 →

2021 · 12 · 21

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

2021 年 12 月 17 日，在中国计算机大会（ […]

阅读全文 →