• 网站地图
  • 联系我们
  • 所长信箱
  • English
  • 中国科学院
  • 网站地图
  • 联系我们
  • 所长信箱
  • English
  • 中国科学院
中国科学院软件研究所
MENU
  • 首 页
  • 研究所概况
    • 本所简介
    • 现任领导
    • 历任领导
    • 学术委员会
    • 学位委员会
    • 组织机构
    • 院士名人
    • 历史沿革
    • 院所风貌
    • 联系我们
  • 机构设置
    • 科研部门
    • 管理部门
    • 支撑部门
  • 科研创新
    • 学科方向
    • 科研成果
      • 获奖
      • 专利
      • 软件著作权
      • 论文
      • 专著
    • 规章制度
    • 成果转化
    • 参股企业
    • 院地合作
    • 国际合作
  • 人才队伍
    • 院士专家
    • 研究员(正高级工程师)
    • 副研究员(高级工程师)
    • 人才招聘
  • 研究生教育
    • 招生信息
    • 导师信息
    • 培养管理
    • 学位管理
    • 就业指导
    • 优秀毕业生
    • 博士后流动站
    • 下载区
  • 党群文化
    • 党委
    • 纪委
    • 工会
    • 党建工作
    • 纪监审工作
    • 青年工作
    • 文化活动
    • 健康之友
    • 离退休生活
    • 规章制度
    • 形象标识
  • 科学传播
    • 科普动态
    • 科普文章
    • 科普场馆
    • 科普站点
    • 科学图片
  • 学术期刊
    • 期刊
  • 信息公开
    • 信息公开规定
    • 信息公开指南
    • 信息公开目录
    • 依申请公开
    • 信息公开年度报告
    • 信息公开联系方式
软件所举行新一届领导班子宣布会议
开源软件供应链2020峰会成功举行
吴志林研究员获2020年“CCF-IEEE CS青年科学家奖”
软件所四项成果荣获2019年度北京市科学技术奖
软件所举办2020年度学术年会
软件所成果荣获2019年度云南省科学技术奖

科研进展

  • 量子软件
  • 软件定义
  • 智能软件
  • 随机微分系统的无穷时间安全性验证
  • 基于LORA信号的远距离非接触感知
  • 基于注意力卷积二叉神经树的细粒度视觉分类
  • 基于非对称多核处理器的低功耗负载均衡方法
  • 基于可进化尺度的搜索测试与动态符号执行的结合
  • dAMP: 可微分抽象机混合编程系统
  • 机械臂编程语言和运行系统
  • 新闻动态
  • 科技动态
  • 项目申请
  • 2020-12-29软件所加入openEuler社区理事会 加速操作系统开源生态...
  • 2020-12-29软件所召开“基层组织建设年”活动党支部达标评估暨支部年度...
  • 2020-12-28软件所召开2020年警示教育大会
  • 2020-12-22软件所参加中国—东盟信息通信创新论坛
  • 2020-12-18软件所发布最大零售场景目标检测计数联合任务数据集——Locount
  • 2020-12-15软件所年轻干部理论学习小组召开“学习新思想 青春勇担当”学...
  • 2020-12-08天津人工智能试验区:加速部署算力生态 构建计算“合力”
  • 2020-12-08中国软件产品业务收入逐年增长,2020年将朝着网络化、平台化...
  • 2020-12-082019年中国工业软件市场规模为1720亿元,占全球市场规模比重...
  • 2020-11-17我国科学家研制出国际上首台量子直接通信样机
  • 2020-11-172019年中国工业自动化控制系统市场规模及工业自动化信息安全...
  • 2020-11-17数字时代下嵌入式软件行业加速发展,企业相继布局嵌入式软件行业
  • 2019-07-15国家自然科学基金委员会关于发布“十三五”第四批重大项目指...
  • 2019-05-09关于2019年度北京市自然科学基金重点研究专题项目申报的通知
  • 2019-01-02国家自然科学基金委员会2019年项目指南
  • 2018-11-06科技部关于发布国家重点研发计划“变革性技术关键科学问题”...
  • 2018-11-06科技部关于发布科技创新2030—“新一代人工智能”重大项目201...
  • 2018-10-24关于2018年度北京市自然科学基金对外合作交流活动基金项目申...
  • 学术报告
  • 学术会议
  • CALL FOR PAPER
  • 2020-12-15[2021-01-08] 基于定理证明的分离逻辑验证工具
  • 2020-12-08[12-09] A Dynamical Aspect of D-finite Power Series
  • 2020-12-08[12-09] 单带图灵机的时空转换(Time Versus Space on Single...
  • 2020-11-26[11-26] 彻底解决针对操作系统的超越授权攻击
  • 2020-11-24[12-02] Verified Separate Compilation of C Programs into ...
  • 2020-11-17[11-18] 面向现代FPGA架构的逻辑综合和工艺映射方法
  • 2020-09-24【11-4】开源软件供应链2020峰会
  • 2020-04-26开源软件供应链点亮计划-暑期2020通知
  • 2020-04-26天智星云杯第三届软件定义卫星创新大赛
  • 2020-03-162020年度中国科学院软件研究所学术年会征稿通知
  • 2019-04-242019年度中国科学院软件研究所学术年会征稿通知
  • 2019-04-19【04-23】 Toward Smarter Continuous Integration: Automate...
  • 2019-04-242019年度中国科学院软件研究所学术年会征稿通知
  • 2019-03-252019软件定义卫星高峰论坛征文通知
  • 2018-03-222018年度中国科学院软件研究所学术年会征稿通知
  • 2018-03-22【8-14】[CFP] 2018年全国知识图谱与语义计算大会(CCKS 2018)
  • 2018-03-22【10-19】第十七届全国计算语言学学术会议(CCL 2018)及第六...
  • 2017-08-09第19届国际信息与通信安全会议(ICICS 2017)征文通知
  • 通知公告
  • 人才招聘
  • 招生信息
  • 内部公告
  • 关于在学术论文署名中常见问题或错误的诚信提醒
  • 关于学习北京大学等七家单位落实《若干意见》的实践案例的通知
  • 2020-12-152020年市场监管科研成果奖推荐项目公示
  • 2020-10-292020年北京市科学技术奖拟提名项目公示
  • 2020-10-222020年北京市科学技术奖拟提名项目公示
  • 2020-06-30首届“开源软件供应链点亮计划-暑期2020”中选名单公布
  • 2020-06-20中国科学院软件研究所声明
  • 2020-04-26开源软件供应链点亮计划-暑期2020通知
  • 2020-01-17关于“清源链医疗废弃物处置溯源系统V1.0”和“基于区块链的...
  • 2019-06-18中国科学院软件研究所诚聘海内外杰出人才
  • 2019-06-18中国科学院软件研究所所级优秀人才项目及岗位招聘启事
  • 2020-09-03中国科学院软件研究所2021年度校园招聘启事
  • 2019-08-30中科院软件所特别研究助理招聘启事
  • 2021-01-13中科院软件所智能软件研究中心招聘启事
  • 2021-01-04中科院软件所中层管理人员招聘启事
  • 2020-12-18中科院软件所计算机科学国家重点实验室招聘启事
  • 2020-12-15中科院软件所软件工程技术研究开发中心招聘启事
  • 2020-12-11中科院软件所人机交互技术与智能信息处理实验室招聘启事
  • 2020-11-24中科院软件所时空数据管理与数据科学研究中心招聘启事
  • 2016-08-202021招生简章及招生目录
  • 2015-03-13软件所乘车路线和附近宾馆
  • 2020-12-07中国科学院大学2021年秋季入学博士研究生招生网上报名公告
  • 2020-11-16软件所2021年春博拟录取名单公示
  • 2020-10-16中国科学院软件研究所关于补录推免生的通知
  • 2020-09-28软件所2021年推免生拟录取名单
  • 2020-09-01软件所“2020年度大学生创新实践训练计划”启动通知
  • 2020-08-26软件所2021年接收推免生预报名公告
  • 2020-08-26软件所2021年拟录取推免生名单(第一批)
  • 2020-08-102020年“软件与网络”夏令营优秀营员名单
快速通道

专题专栏

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