中国科学院软件研究所

中国科学院软件研究所简介中国科学院软件研究所成立于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平方米。馆藏中西文计算机科学与软件技术专业文献2万余种。图书馆具有良好的信息资源获取与服务环境。通过计算机科学与软件技术信息平台，实现软件专业特色信息资源的无缝连接和信息资源的知识化、个性化组织与利用，为所内用户提供一站式信息服务。

图书馆具有一支服务于科研一线的专业团队。通过搜集、组织一定规模的专业化、系列化特色文献情报资源，面向科研人员提供主动式服务，面向研究生提供开放式服务，面向全所人员提供综合服务，以支撑研究所一流的科技创新与发展。

创办企业中科方德：“基础软件国家工程研究中心”是国家发展改革委员会批复（发改高技[2005]425号）由中国科学院软件研究所负责组建， 中科方德软件有限公司是基础软件国家工程研究中心的项目法人单位。公司由中国科学院软件研究所联合用友软件股份有限公司、上海和勤软件技术有限公司、深圳因泰克计算机技术有限公司、福建新大陆电脑股份有限公司、无锡滨湖科技创业投资有限责任公司等在国内相关领域具有技术优势、市场优势、资金与管理优势的科研单位和企业出资组建。

公司董事会组成：董事长李明树（中科院软件所所长），副董事长王文京（用友软件董事长、总裁）,副董事长李汉生（上海和勤软件董事长、总裁），董事、中科方德总裁张庆源，董事、中科方德高级副总裁赵琛（中科院软件所总工），董事、中科方德副总裁刘兵以及董事林学杰（福建新大陆电脑公司总经理）、沈宁宁（无锡市滨湖区副区长）、操云甫（中科院软件所所长助理）。

基础软件国家工程中心肩负国家基础软件创新发展使命，面向国家战略需求、面向世界科技前沿，从事基础软件领域关键技术研究和产品开发，致力于建设自主基础软件平台体系和应用解决方案，发挥其在基础软件技术上的引领、示范和带动作用。

中科方德作为基础软件国家工程研究中心的产业化服务实体，将秉承“创新求实、开放联合，创新打造精品、服务造福用户”的宗旨，打造可信基础软件服务旗舰，服务国家行业信息化建设，打造百年方德。

成员企业：

中科方德软件有限公司

深圳中科方德软件有限公司

无锡中科方德软件有限公司

重庆恩菲斯软件有限公司

龙江中科方德软件有限公司