• 网站地图
  • 联系我们
  • 所长信箱
  • English
  • 中国科学院
  • 网站地图
  • 联系我们
  • 所长信箱
  • English
  • 中国科学院
中国科学院软件研究所
MENU
  • 首 页
  • 研究所概况
    • 本所简介
    • 现任领导
    • 历任领导
    • 学术委员会
    • 学位评定委员会
    • 组织机构
    • 院士名人
    • 历史沿革
    • 院所风貌
    • 联系我们
  • 机构设置
    • 科研部门
    • 管理部门
    • 支撑部门
  • 科研创新
    • 学科方向
    • 科研成果
      • 获奖
      • 专利
    • 成果转化
    • 参股企业
    • 院地合作
    • 国际合作
  • 人才队伍
    • 院士专家
    • 研究员(正高级工程师)
    • 副研究员(高级工程师)
    • 博士后流动站
    • 人才招聘
  • 研究生教育
    • 招生信息
    • 导师信息
    • 培养与学籍管理
    • 学位管理
    • 就业指导与学生离所
    • 学生出国(境)
    • 思政工作
    • 优秀毕业生
  • 党群文化
    • 党委
    • 纪委
    • 工会
    • 党建工作
    • 纪监审工作
    • 廉洁文化
    • 青年工作
    • 文化活动
    • 离退休生活
    • 形象标识
  • 科学传播
    • 科普动态
    • 科普文章
    • 视频图片
    • 科普场馆
  • 学术期刊
    • 期刊
  • 信息公开
    • 信息公开规定
    • 信息公开指南
    • 信息公开目录
    • 依申请公开
    • 信息公开联系方式

新闻动态

  • 热点新闻
  • 科研进展
  • 科技动态
  • 传媒扫描
  • 通知公告
  • 内部公告
  1. 首页 > 新闻动态 > 科研进展
科研进展
  • [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页«67
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