新闻动态 更多

• 

  软件所获中国科学院大学2025年“教育教学成果奖”一等奖

  近日，中国科学院大学（以下简称“国科大”）公布了2025年度“教育教学成果奖”评审结果，中国科学院软件研究所（以下简称“软件所”）推荐的教育教学项目“面向国家需 ...

• 第七届可信软件系统工程（国际）春季学校（SETSS 2025）在中国科学院软件研究所成功举办
• 软件所计数复杂性研究连中三元
• 软件所分布式SMT求解器研究工作获CAV杰出论文奖