- 软件所非线性整数约束求解研究工作获ACM SIGSOFT杰出论文奖 2023-08-09
- 我国牵头提出的国际标准《网络安全 设备与服务建立可信连接的安全建议》正式发布 2023-08-08
- 国家重点研发计划“先进制造业分布式科技服务技术集成研发与示范”项目通过综合绩效评价 2023-08-04
- 软件所举办“可信人工智能”系列研讨会（北京站） 2023-07-11
- 汉字编码转换工具——PUACleaner开源项目与开放原子开源基金会签约 2023-06-16
- 软件所在时间戳监督下视频时序动作分割方面取得进展 2023-04-27
- 软件所“源图”开源软件供应链基础设施平台入选2022年度院网信工作十大进展 2023-04-25
- 软件所在复杂背景下雷达目标检测方面取得进展 2023-04-17
- 国家重点研发计划“数字身份密码协议的安全设计与分析理论”项目启动暨实施工作方案论证会顺利召开 2023-04-13
- 软件所与山东大学联合举办第29届国际快速软件加密会议 2023-04-12
- 软件所受邀参加共促数字空间智能航天卫星大脑新基建工程建设研讨会 2023-04-04
- 国家重点研发计划“高延展性可证明安全共识算法及系统设计理论与方法”项目启动暨实施方案咨询会顺利召开 2023-04-03
- 软件所RISC-V开源成果被Mozilla开源社区接收 2023-04-03
- 软件所受邀出席首届 “玄铁RISC-V生态大会” 2023-03-31
- 软件所在机器学习公平性方面取得进展 2023-03-14
- 软件所博士生提出一种图神经网络模型实现 MaxSAT问题求解优化 2023-03-13
- 软件所在小样本目标检测方面取得进展 2023-02-27
- 软件所在OpenHarmony日志系统研发方面取得进展 2023-02-14
- 软件所在图表示学习因果性提升方面取得进展 2023-02-09
- 软件所在移动应用质量保障方面取得进展 2023-02-08
