46,162
次編輯
變更
無編輯摘要
[[File:计算机科学国家重点实验室.jpeg|有框|右|<big>计算机科学国家重点实验室会议</big>[http://www.carch.ac.cn/xwdt/sysxw/202101/W020210115651762107119.jpg 原图链接][http://www.carch.ac.cn/xwdt/sysxw/202101/t20210115_617790.html 来自 计算机体系结构国家重点实验室 的图片]]]
计算机科学国家重点实验室依托中国科学院软件研究所 <ref>[http://www.360doc.com/content/18/0226/18/40234354_732661914.shtml 中国科学院在各地有多少个研究所?]，个人图书馆，2018-02-26</ref> ，实验室成立于1993年，1994年由中国科学院批准成为中国科学院开放实验室，2001年改名为中国科学院重点实验室。在2002年全国信息领域重点实验室评估中，计算机科学实验室被评为优秀实验室。2005年经科技部批准开始进行国家重点实验室建设，2007年完成建设并通过验收。
==研究领域==
软件系统原理及开发方法： 研究程序设计语言的基础理论，探索软件可靠性开发的新框架和新方法，研究面向各种并发程序的分析、验证和测试方法，开发相应的辅助工具，并结合应用实例的研究，提高算法及工具的效率和性能。
研究基础软件核心技术，研制国产操作系统、中间件和数据库，形成基础软件平台体系，实现我国基础软件产品的自主可控。突破高安全可信、国产软硬件优化适配等操作系统核心关键技术；突破新一代中间件关键技术，为海云计算和物联网 <ref>[https://www.sohu.com/a/408543373_120754980 什么是物联网？对物联网的简单解释]，搜狐，2020-07-19</ref> 提供运行支撑；突破大规模分布式实时主动数据库关键技术，开发分布式实时主动数据库系统。
图形图像与人机交互： 研究动态复杂可视现象的高效图形表达与绘制的理论和方法，面向实践需求的复杂图像处理方法和技术，复杂环境下人机交互的自然感知基础理论和多通道整合方法，以及上下文感知的智能交互技术。