• 软件所在支持编程语言中正则表达式非经典特性的字符串约束求解研究方面取得进展 2021-11-29
• 软件所博士生王少东获SMI 2021国际会议最佳论文提名奖 2021-11-20
• 智能软件研究中心硕士生段旭荣获ISSRE 2021最佳实践论文奖 2021-11-03
• 软件所参与项目荣获2020年度北京市科学技术进步奖 2021-10-28
• 软件所王青、石琳课题组荣获ASE2021 ACM SIGSOFT杰出论文奖 2021-10-22
• 软件所金蓓弘、张扶桑课题组荣获ACM UBICOMP 2021杰出论文奖 2021-09-26
• 2021年中国科学院软件研究所获得国家自然科学基金资助项目清单 2021-08-18
• 蔡少伟团队研发求解器首获SMT国际比赛冠军 2021-08-17
• 国家重点研发计划“现代服务业共性关键技术研发及应用示范”项目中期检查会召开 2021-06-30
• 陈海明团队在ReDoS漏洞检测与修复技术上取得重要进展 2021-06-21
• 广州中国科学院软件应用技术研究所依托信息化技术 助力广州市南沙区新冠肺炎疫情防控工作 2021-06-09
• 国家重点研发计划“超大规模可扩展大气动力学全隐式并行模拟及示范应用”项目启动暨实施方案论证会召开 2021-04-09
• 苏璞睿团队获“纵横杯”网络安全竞赛RHG智能漏洞挖掘大赛冠军 2021-04-01
• 软件所“开源软件供应链重大基础设施建设”启动会暨实施方案论证会召开 2021-04-01
• 软件所等提出国际首个完全实用的异步共识算法“小飞象” 区块链核心技术取得重大突破 2021-02-08
• 国家重点研发计划“信息产品及科技服务集成化众测服务平台研发与应用”项目中期检查会召开 2021-02-03
• isQ量子程序设计与验证平台 2021-08-10
• 软件所人机交互团队研究工作取得进展 2021-01-22