- 软件所金蓓弘、张扶桑课题组荣获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
