网站地图
联系我们
所长信箱
English
中国科学院
网站地图
联系我们
所长信箱
English
中国科学院
MENU
Toggle navigation
首 页
研究所概况
本所简介
现任领导
历任领导
学术委员会
学位评定委员会
组织机构
院士名人
历史沿革
院所风貌
联系我们
机构设置
科研部门
管理部门
支撑部门
科研创新
学科方向
科研成果
获奖
专利
成果转化
参股企业
院地合作
国际合作
人才队伍
院士专家
研究员(正高级工程师)
副研究员(高级工程师)
博士后流动站
人才招聘
研究生教育
招生信息
导师信息
培养与学籍管理
学位管理
就业指导与学生离所
学生出国(境)
思政工作
优秀毕业生
党群文化
党委
纪委
工会
党建工作
纪监审工作
廉洁文化
青年工作
文化活动
离退休生活
形象标识
科学传播
科普动态
科普文章
视频图片
科普场馆
学术期刊
期刊
信息公开
信息公开规定
信息公开指南
信息公开目录
依申请公开
信息公开联系方式
首页
>
新闻动态
>
科研进展
科研进展
[2021-08-17]
蔡少伟团队研发求解器首获SMT国际比赛冠军
[2021-06-30]
国家重点研发计划“现代服务业共性关键技术研发及应用示范”项目中期检查会召开
[2021-06-21]
陈海明团队在ReDoS漏洞检测与修复技术上取得重要进展
[2021-06-09]
广州中国科学院软件应用技术研究所依托信息化技术 助力广州市南沙区新冠肺炎疫情防控工作
[2021-04-09]
国家重点研发计划“超大规模可扩展大气动力学全隐式并行模拟及示范应用”项目启动暨实施方案论证会召开
[2021-04-01]
苏璞睿团队获“纵横杯”网络安全竞赛RHG智能漏洞挖掘大赛冠军
[2021-04-01]
软件所“开源软件供应链重大基础设施建设”启动会暨实施方案论证会召开
[2021-02-08]
软件所等提出国际首个完全实用的异步共识算法“小飞象” 区块链核心技术取得重大突破
[2021-02-03]
国家重点研发计划“信息产品及科技服务集成化众测服务平台研发与应用”项目中期检查会召开
[2021-08-10]
isQ量子程序设计与验证平台
[2021-01-22]
软件所人机交互团队研究工作取得进展
上5页
«
6
7
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