中国科学院软件研究所简介

　　

　　中国科学院软件研究所成立于1985年。1995年原计算中心计算机应用部分并入软件所；2003年1月，软件园区综合管理服务中心整建制划归软件所管理。英文全称是Institute of Software Chinese Academy of Sciences，英文简称是ISCAS。
　　第一任所长 许孔时研究员 1985年2月至1994年7月，
　　第二任所长 冯玉琳研究员 1994年7月至2002年7月，
　　现任所长 李明树研究员 2002年8月至今
　　中国科学院软件研究所，是一个以计算机科学理论和应用研究为基础、以计算机软件研究开发和高新技术的产业建设为主导的综合性基地型研究所。目前，软件所的科研体系分为软件基础研究、软件高技术研究和软件应用研究三大部分，设有十几个研发部门（实验室、中心）。
　　中国中文信息学会、中国软件行业协会数学软件分会、中国软件行业协会UNIX用户分会、中国计算机用户协会IBM分会等挂靠在研究所；研究所主办的学术刊物有《软件学报》、《中文信息学报》和《计算机系统应用》。
　　建所近二十年来，特别是进入中国科学院知识创新试点工程以来，软件所在计算机科学和软件领域取得了丰硕成果，获院、部级以上成果奖23项（全部为第一完成单位），其中包括国家自然科学奖一等奖1项、二等奖2项、三等奖1项；国家科技进步奖二等奖4项、三等奖2项。尤为值得一提的是，自国家自然科学奖设立至今，计算机领域唯一的1项一等奖和5项二等奖中的2项，都出在软件所。
　　进入21世纪，以互联网为代表的信息技术与知识经济的迅猛发展，使软件技术和软件产业成为国民经济与社会发展的核心与主导，也为软件所新的跨越提供了历史性的发展机遇。在新的形势下，软件所的定位是：面向软件技术未来，从事计算机科学理论研究和软件高新技术发展的综合性国立研究所。为此，软件所人将继续发挥"创新求实，永竞一流"的精神，贯彻"以人为本，创新跨越，竞争合作，持续发展"的新的科技发展观，汇聚科技精英，建设以著名科学家为核心的科研团队，努力形成国立研究机构创新文化氛围。按照新的办院方针，面向国家战略需求和世界科学前沿，开展关系到国家经济发展、国防建设与社会进步的基础性、战略性、前瞻性软件理论与高新技术创新研究；承担国家重大软件科技项目和重大信息化工程中的关键技术研究开发工作，解决国家急需的重大软件技术问题；提高我国软件技术自主创新能力，不断促进软件产业发展；通过技术转移、人才培养和文化传播，为我国科技事业和社会发展不断做出重大创新贡献。
　　希望通过不懈的努力，软件所能在不远的将来，整体上达到国际先进水平，成为对世界科学技术发展有重要贡献的一流科研机构。

院士名人

　　董韫美，我国计算机软件先驱者之一，在软件理论、技术、工具和汉字信息处理等多个领域做出了系统的、创造性的贡献。1936年3月生于云南昆明，1956年毕业于吉林大学，同年进入中国科学院计算技术研究所工作。1983年起为研究员，1984年任博士生导师，1985年起到软件所工作。1990年被授予“中国科学院优秀研究生导师”称号。已培养硕士、博士研究生20多人。1993年当选为中国科学院院士。曾获中国科学院科技进步奖一等奖和国家科技进步奖二等奖，发表论文30余篇。上世纪六十年代初至中期，主持研制出了国内最早的实用高级程序语言BCY，并在119机、109机、015机等机器上实现了相应的编译程序及其他系统软件。其后的工作包括形式语言理论、编译技术和软件工具。 1978－1980年，首先提出用计算机设计高质量汉字字形的参量图形学方法，解决了有关的实现技术，建立了实验系统，后又发展成汉字字形设计系统。八十年代中期以来率先在国内开展软件复用技术研究。在形式规约知识的获取与复用研究中，提出通过机器学习获取规约的MLIRF方法和有关的实现技术，提出上下文无关语言上的递归函数理论。目前从事软件规约与软件设计方法研究。
　　周巢尘院士，我国分布式程序设计理论研究的先驱者和开拓者之一，近年提出的时段演算，为实时系统的形式化设计和验证做出了开创性的工作，得到国际同行的公认，已经带动了国际上二十几个国家的科学家参与这一方面的研究。1997年8月至2002年9月间任联合国大学国际软件技术研究所所长。
　　林惠民院士，长期从事并发理论及形式化方法的研究。他设计并实现了世界上第一个通用的进程代数验证工具；与国际同行合作提出、并独立发展了传值并发进程的“符号互模拟”理论；解决了π-演算和时间自动机的有穷公理化问题。这些成果已为国内际同行在公开发表的文献中所广泛引用。

图书馆

　　中科院软件所图书馆建于1986年，是软件专业特色图书馆。占地面积为834.19平方米。馆藏中西文