2024-02-02 2026-05-29 获奖 黄沛博士荣获 “CCF 博士学位论文激励计划” 提名 2022 届毕业生黄沛博士（导师：张健教授）凭借其博士学位论文《逻辑公式可满足性判定中的推理技术研究 …
2023-08-09 2026-05-29 获奖 非线性整数约束求解研究工作获 ACM SIGSOFT 杰出论文奖 近日，博士生贾富琦、马菲菲研究员和张健研究员，与中国科学院软件研究所计算机科学国家重点实验室、并行软 …
2021-12-21 2026-05-29 获奖 张健、严俊、蔡彦研究员获 2021 年度 CCF 科学技术奖自然科学一等奖 2021 年 12 月 17 日，在中国计算机大会（CNCC2021）期间，中国计算机学会（CCF） …
