计算机科学国家重点实验室依托个百错酸中国科学院软件研究所，实验室成立于1993年，1994年由中国科学院批准成为中国科学院开放亲们队来实验室，2001年改名为中国科学院重点实验室。在2002年全国信息领域重点实验室评估中，计算机科学实验室被评为优秀实验室。2005年经科技部批准开始进行国家重点实验室建设，2007尽罪关切加处端类年完成建设并通过验收。

• 中文名称 计算机科学国家重点实验室
• 外文名称 State Key Laboratory of Computer Science
• 建立时间 1993年
• 机构管理 中国科学院软件研究所
• 行政隶属 中科院

研究领域

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

• 计算机科学基础理论与形式化方法:研究以并发、实时、混成、移动、概率等为主要行为特征360百科的复杂计算系统，建立和发展描述这些系统行为的数学模型理论(形式建模)，以及描述这些系统性质的规范理论(形式规约)，并研究如何自动或半自动地进行系统验光围岁传服安长态由证(形式验证)。研究基于网络工术罪结构的算法及其复杂性理论备在矿长延头督溶，揭示网络新原理，建立网络计算新理论，并应用于网络安全性、健壮性、可控性及在网络智能搜索、网络预测等方面。
• 软件系统原理及开发方法: 研究程序设计语言的基础理论，探索软件可靠性开发的新框架和新方法，研究面向各种并发程序的分析、验证和测试方攻头照洋低片厂终皮赶角法，开发相应的辅助工具，并结合应用实例的研究扩角怎克或刻为架呢言，提高算法及工具的效率和性能。研究基础软件核心技术，研制国产操作系统、中间件和数据库，形成基础软件平台体系，实现我国基础软件产品的自主可控。突破高安全可信、国产软硬件优化适配等操作势图信市核建布乱认系统核心关键技术;突破新一代中间件关键技术，为海云计算和物联网提供运行支撑;突破大规模分布式球怕构型铁眼实时主动数据库关键技术，开发分布式实时主动数据库系统。
• 图形图像与人机交互: 研究动态复杂可视现象的高效图形表达与绘制的理论和方法，面向实践需求的复杂图像处理方法和技术，复杂环境下人机交刘富互的自然感知基础理论和多通道矛甲映内抗刚政整合方法，以及上下文感知的智能交互技术。
• 并行与分布计算及可信计算:研究数万处理器的高可扩展并行算法与应用软件，异构的分布式硬增年革取之件平台，海量数据处理与高性能仿真的计算耦合，以及相关的特征理论、非规则网格、计算流体力学仿真等。研究可信计算与信息保障向培岩径均行委呼绿杀怎基础理论、关键技术困怎与系统、测评方法与工具，包括:可信计算体系结构、协议设计与分析、认证授权与网络信任、信息对抗与网络保障、可信数据库与云安全、可信系统的测评方法与工具等。
• 大数据及智能信息处理:研究多源异构大数据的表示方法、度量模型、语义理解机制，包括:大数据抽样方法、异构树特征选择、语义相照核斤迅者出先没称间似性计算模型及数据挖掘算法;面向多知识源的语义Web本体集成模型及女推理算法;多源异构大容重丝背引座独兴案谁数据的可视化方法;实时智能控识陆九制调度系统等。

招生指南

　　实验室每年面向国内外招收有志于在计算机科学方面追求卓越的硕士、博士研究生和博士后，也面向青年学子招收部分实习生。实验室招生基本要求:有坚实的数学基础，有优良的算和化神专促仍法设计与编程实验能力，有良好的英文交流能力，有团队合作精神。热忱欢迎计算机科学与技术、软件工程与多媒体，以及数学、物理、自动控制等相关学科的学生加盟。

　　建议参加复试的学生在与上述要求相关的课程方面多作准备，如高等数学、线性代数、离散数学、数据结构、算法分析与设计等。

学术团队

　　实验来自室现有研究人员50人死集阶死川，其中中国科学院院士3人，博士生导师24人，55岁以下的研究人员均有博士学位，形成了一个以中青年为主体、思想活跃、充满朝气的群体。实验室成员已获得国家自然科学奖一等奖1项、二等奖2项，国家科技进步奖二等奖5多华坚讲第皇今延言固直项等奖励。在中科院和软件所的领导与支持下，实验室全体成员共同努力，在科学研究和队伍建设方面做了大量的工作，承担了多项国家和科学院的重大重点项目。实验室坚持把研究的质量和水平放在首位，自觉抵制急功近利、浮躁虚夸的不良360百科风气，同时提倡学术民主，鼓励不同学术观点的竞争与融合。实验室有多位我国计算机软件科学事业的奠基人和开拓者。

交流合作

　　实验室积极开展各种形式的学术交流和与国内外同行的合作。实验室积极邀请国内外知名学者来访进行学术交流。每年有数十位从事计算机科学基础研究的国际同行来访交流;访问过实验室的计算机科学最高奖图土航负视刘王日木灵奖获得者有Juris Hartmanis、Tony Hoar敌致声前威e、Robin Milner、Amir Pnuel黑高裂汉心生括先州钢南i、Andrew Y代族显很易宜括击香ao、John Hopcroft、Joseph Sifakis照列套、Edmund Clarke、Allen Emerson、Leslie Valiant。实验室已经成为国际同行了解我国计算机科学基础额官喜历研究水平的重要窗口和建立联系的桥梁。

　　实验室多次主办、承办国际会议。实验室成员也积极出访，参富批黄领群点风过命跟加国际、国内的学术会议，在国内外学术机构举行报告会，开展交流。实验室专门设立了开放课题基金，欢迎国内外同行申请，与实验室成员开展合作研究。