计算机科学实验室是
中国科学院软件研究所下属的计算机科学研究机构。该实验室始建于1993年，1994年纳入中国科学院开放实验室，2001年更名为“中国科学院计算机科学重点实验室”，2005年通过国家科技部组织的建设计划论证，2007年通过验收成为国家重点实验室。实验室主要研究方向包括量子程序设计平台等研究成果、
形式化方法和
计算复杂性等，在量子程序终止性算法分析等方面取得多项研究成果。实验室还举办了
图灵奖获得者访问、形式化方法暑期学校等学术交流活动。
1993年，中国科学院软件研究所建立
计算机科学国家重点实验室，1994年纳入中国科学院开放实验室体系。2001年，实验室改称“中国科学院计算机科学重点实验室”。2005年，实验室通过国家科技部组织的建设计划论证，开始建设国家重点实验室；2007年通过验收，成为“计算机科学国家重点实验室”。