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

　　中国科学院软件研究所计算机科学开放研究实验室始建于1993年，1994年12月正式纳入中国科学院开放实验室轨道运行。2001年11月，根据科学院有关文件的精神，改称“中国科学院计算机科学重点实验室”。2002年全国信息科学重点实验室评估中，计算机科学实验室被评为优秀类实验室；2005年，实验室通过国家科技部组织的建设计划论证，开始建设国家重点实验室。2007年，实验室通过国家科技部组织的国家重点实验室建设验收，正式成为国家重点实验室。

　　实验室拥有多位我国计算机软件科学事业的奠基人和开拓者，包括三名中国科学院院士。目前，实验室固定人员中有中国科学院院士3人，研究员23人，副研究员8人，助理研究员8人，博士后8人，秘书3人，技术支持1人。

　　实验室不仅有多位我国计算机软件科学事业的开拓者，还聘请多位国内计算机界著名专家学者，组成了高水平的学术委员会。按照“继往开来，再创辉煌”的方针，继承老一代科学家的优良学术传统，坚持把研究的质量放在首位，同时以创新求发展，加强队伍建设，顺利实现了学术带头人的年轻化，形成了以中青年为主体、团结合作、学风严谨、充满朝气的研究群体。2004年至2010年，实验室从事软件形式化方法研究的中青年科研骨干获得国家自然科学基金委员会“创新研究群体”持续资助。2006年，实验室被中国科学院北京分院批准为首批中国科学院创建“三优”科技创新团队。实验室非常重视人才的培养，坚持在科研第一线造就青年人才。近三年来共培养博士77名，硕士78名，出站博士后4名，为国家输送了一批高水平的技术骨干。

　　在中国科学院和软件所的领导与支持下， 实验室在科学研究方面做了大量的工作，承担了多项国家和省部级重大项目，取得了一批高水平的研究成果。1999年，林惠民的“并发进程的代数理论及验证工具”项目获得国家自然科学奖二等奖；2000年，孙家昶主持的“高性能分布式并行数值代数软件研究与开发”项目获得国家科技进步奖二等奖；2002年，冯玉琳主持的“网络分布软件支撑平台及石化应用示范工程”项目获得国家科技进步奖二等奖；2003年，吴恩华参与研究的“分布式虚拟现实应用系统开发与支撑环境”项目获得国家科技进步奖二等奖；2005年，李明树主持、王永吉参与研究的“软件过程服务技术及集成管理系统”项目获得国家科技进步奖二等奖。另外，2003年，唐稚松院士的专著《时序逻辑程序设计与软件工程》（上、下册）荣获国家图书奖正式奖，以及全国优秀科技图书奖一等奖。

　　实验室积极开展与国内外同行的实质性合作，推动各种形式的学术交流，与本领域的许多国际重要科研单位建立了稳定的合作关系。为了促进我国计算机科学领域的基础研究发展，1996年，实验室开始设立开放课题基金，资助国内外同行与实验室进行合作研究。