• “群智杯”国际集群智能算法挑战赛启动仪式成功举行 2022-12-20
• 软件所顺利完成中老重大虫媒传染病智能化监测预警平台现场部署 2022-12-05
• 首个人机交互情感计算国际标准正式发布 2022-11-21
• 软件所提出处理器缓存数据预取新方法 2022-11-14
• 软件所成功举办第20届自动验证与分析技术国际会议（ATVA 2022） 2022-11-02
• 软件所智能软件研究中心员工吴伟当选LLVM基金会理事会 2022-10-06
• 中科院软件所量子计算编程软件isQ正式开源 2022-09-20
• 软件所赴老挝部署中老重大虫媒传染病智能化监测预警平台 2022-09-19
• 喜报：李勇博士学位论文入选2022年度中国科学院优秀博士学位论文 2022-09-02
• 从SAT到SMT——逻辑约束求解研究获新突破 2022-08-31
• 软件所博士后Alexander Bentkamp获奖 2022-08-30
• 软件所博士生斩获全国高校密码数学挑战赛总决赛一等奖 2022-08-24
• “健康丝绸之路”建设暨澜湄合作疟疾和登革热联防联控调研会在普洱召开 2022-08-03
• 中科院软件所天智超算系统型谱验证样机搭载力箭一号升空 2022-07-30
• 软件所提出自动驾驶系统仿真测试方法 2022-07-18
• 软件所在图数据库系统测试方面取得进展 2022-07-18
• 软件所在开源智能家居系统设备集成缺陷研究方面取得进展 2022-07-18
• 软件所提出测试用例冗余检测新方法 2022-07-07
• 软件所在代码注释数据治理方面取得研究进展 2022-07-07
• 软件所互联网软件技术实验室博士生刘哲再次斩获ACM学生研究竞赛研究生组冠军 2022-06-27