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

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

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

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

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

实验室积极开展各种形式的学术交流和与国内外同行的合作。实验室积极邀请国内外知名学者来访进行学术交流。每年有数十位从事计算机科学基础研究的国际同行来访交流；访问过实验室的计算机科学最高奖图灵奖获得者有Juris Hartmanis、Tony Hoare、Robin Milner、Amir Pnueli、Andrew Yao、John Hopcroft、Joseph Sifakis、Edmund Clarke、Allen Emerson、Leslie Valiant。实验室已经成为国际同行了解我国计算机科学基础研究水平的重要窗口和建立联系的桥梁。

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