科研进展----中国科学院软件研究所

中国科学院软件研究所

科研进展

[2022-09-20]中科院软件所量子计算编程软件isQ正式开源
[2022-09-19]软件所赴老挝部署中老重大虫媒传染病智能化监测预警平台
[2022-09-02]喜报：李勇博士学位论文入选2022年度中国科学院优秀博士学位论文
[2022-08-31]从SAT到SMT——逻辑约束求解研究获新突破
[2022-08-30]软件所博士后Alexander Bentkamp获奖
[2022-08-24]软件所博士生斩获全国高校密码数学挑战赛总决赛一等奖
[2022-08-03]“健康丝绸之路”建设暨澜湄合作疟疾和登革热联防联控调研会在普洱召开
[2022-07-30]中科院软件所天智超算系统型谱验证样机搭载力箭一号升空
[2022-07-18]软件所提出自动驾驶系统仿真测试方法
[2022-07-18]软件所在图数据库系统测试方面取得进展
[2022-07-18]软件所在开源智能家居系统设备集成缺陷研究方面取得进展
[2022-07-07]软件所提出测试用例冗余检测新方法
[2022-07-07]软件所在代码注释数据治理方面取得研究进展
[2022-06-27]软件所互联网软件技术实验室博士生刘哲再次斩获ACM学生研究竞赛研究生组冠军
[2022-06-21]软件所提出代码审查意见自动生成新方法
[2022-06-20]软件所开源项目RepChain荣获“Gitee最有价值开源项目”
[2022-06-20]开源软件供应链重大基础设施在开源生态“投毒”检测中获进展
[2022-04-27]软件所发布“澜湄次区域虫媒传染病联防联控平台”2.0版
[2022-03-21]软件所博士后李日灵获得高性能与并行计算领域顶级期刊最佳论文奖
[2022-01-24]软件所在内嵌脚本解释器的漏洞自动化挖掘研究中取得进展
[2022-01-05]软件所荣获中国发明协会2021年度发明创业奖创新奖二等奖
[2022-01-05]软件所在二进制软件漏洞机理分析方面取得进展
[2022-01-05]“国产化高并发分布式数据库系统关键技术研究与应用”项目启动会召开
[2021-12-31]软件所在Python程序的构建依赖分析方面取得进展
[2021-12-31]软件所在微信小程序缺陷理解与检测研究中取得进展

«1 2 345 »下5页

Copyright © Institute of Software, CAS. All rights reserved.info(at)iscas.ac.cn
版权所有 © 中国科学院软件研究所　京ICP备05046678号-1　文保网安备1101080077
电话：86-10-62661012　传真：86-10-62562533　电子邮箱：info@iscas.ac.cn