分类： 获奖

张健研究员荣获 IEEE 软件质量、可靠性与安全国际会议（QRS）颁发的“特别荣誉奖”，以表彰其在程 …

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

2022 届毕业生黄沛博士（导师：张健教授）凭借其博士学位论文《逻辑公式可满足性判定中的推理技术研究 …

近日，博士生贾富琦、马菲菲研究员和张健研究员，与中国科学院软件研究所计算机科学国家重点实验室、并行软 …

2021 年 12 月 17 日，在中国计算机大会（CNCC2021）期间，中国计算机学会（CCF） …