地图     English
研究方向

出自计算机科学国家重点实验室

首页 > 学术研究 > 研究方向
跳转到: 导航, 搜索


实验室学术研究
论文专著
学术专著
学术论文 20162015201420132012

实验室以国内外计算机科学技术领域提出的基本问题为背景,面向国家发展软件产业和国家安全的战略需求,开展计算机科学理论和软件基础研究。


目录

计算机科学基础理论与形式化方法

    研究计算机科学的基础理论,包括新型计算模型、算法复杂性等;研究以并发、实时、混成、移动、概率等为主要行为特征的复杂计算系统的形式化方法,包括形式建模、形式规约和形式验证等。

软件系统原理及开发方法

    研究程序设计语言理论以及高可信软件的设计、分析、验证和测试方法;突破基础软件核心技术,研制高安全可信的操作系统、中间件和数据库,形成国产自主可控的基础软件平台体系。

图形图像与人机交互

    研究动态复杂可视现象的高效图形表达与绘制的理论和方法、面向实践需求的复杂图像处理方法和技术、复杂环境下人机交互的自然感知基础理论和多通道整合方法、以及上下文感知的智能交互技术。

并行与分布计算及可信计算

    研究数万处理器的高可扩展并行算法与应用软件;研究可信计算与信息保障基础理论、关键技术与系统,包括可信计算体系结构、协议设计与分析、认证授权与网络信任、信息对抗与网络保障、可信系统的测评方法与工具等。


大数据及智能信息处理

    研究人工智能的基础理论、基于大数据的统计学习(如深度学习)与基于领域知识的符号计算(如知识库)相结合的推理模型及高效算法、多源异构大数据的可视化方法、以及自然语言理解和中文信息处理等。

版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号