• 【中国科学报】中国自主研发求解器首获国际SMT比赛冠军 2021-08-17
• 【科学网】张健：鼓励软件原型工具的研制 2021-08-13
• 【中国电子报】探寻后摩尔时代 | RISC-V：有望改变未来芯片产业格局 2021-07-27
• 【中国科学报】解决开源软件“卡脖子”问题，这一步势在必行 2021-05-12
• 【科学网】打造开源软件基础设施 为国产软件“定魂筑根” 2021-04-07
• 【中国科学报】英国2019年“牛顿奖”聚焦民生 2021-04-07
• 【新华网】我国科学家提出区块链技术新算法 2021-02-11
• 【光明日报】我科学家在区块链核心技术取得重大突破 提出国际首个完全实用的异步共识算法“小飞象” 2021-02-09
• 【中新网】中国科学家突破区块链核心技术 提出首个完全实用异步共识算法 2021-02-08
• 【科学网】中科院软件所等提出国际首个完全实用的异步共识算法 “小飞象”突破区块链共识设计挑战 2021-02-09
• 【中国科学报】众测之“痛”何解 2021-04-07
• 【科学网】软件所里的“她”力量 2021-04-01