中国科学院软件研究所

中国科学院软件研究所（Institute of Software Chinese Academy of Sciences）成立于1985年3月1日，是一所致力于计算机科学理论和软件高新技术的研究与发展的综合性基地型研究所。所址位于北京海淀区中关村南四街4号中国科学院软件园内，其所长为赵琛。^[1][2]

中国科学院软件研究所前身是中国科学院计算技术研究所的软件研究室，1995年原中国科学院计算中心计算机应用部分并入软件研究所；2003年1月，软件园区综合管理服务中心整建制划归软件研究所管理，形成了软件研究所格局。 ^[3]2007年9月，计算机科学国家重点实验室通过建设验收。^[4]2013年1月，中国科学院软件研究所通过中国新时代认证中心审核。^[5]2014年4月23日上午，中国科学院软件研究所贵阳分部、贵阳信息技术研究院揭牌仪式在贵阳举行。^[6]2018年1月，中国科学院软件研究所计算机科学国家重点实验室在32个参评实验室中排名第13位。^[7]2019年7月23日，中国科学院软件研究所—鸿合科技股份有限公司“自然人机交互技术联合实验室”成立暨揭牌仪式在软件所举行。^[8]2023年1月15日11时14分，中国科学院软件研究所牵头研制的“天智二号”D星在太原卫星发射中心发射升空，成功进入预定轨道。^[9]

中国科学院软件研究所以计算机科学、计算机软件、计算机应用技术、信息安全为重点学科领域。^[10]截至2021年12月，中国科学院软件研究所有在职职工841人，其中科技人员746人、管理支撑人员79人，包括中国科学院院士4人、第三世界科学院院士1名，正高级专业技术人员83人、副高级专业技术人员163人。国家杰出青年科学基金获得者5人，国家优秀青年科学基金获得者3人。并设有计算机科学与技术、软件工程2个一级学科博士后科研工作流动站，共有在学研究生570人（其中硕士生322人、博士生248人）、在站博士后28人。^[1]中国科学院软件研究所建所三十多年来，在计算机科学和软件领域取得了丰硕成果，获院、省部级以上成果奖46项（仅统计为第一完成单位）。同时，计算机领域第1个国家自然科学一等奖也出自中国科学院软件研究所。^[11]

中国科学院软件研究所前身是中国科学院计算技术研究所的软件研究室，1995年原中国科学院计算中心计算机应用部分并入软件研究所；2003年1月，软件园区综合管理服务中心整建制划归软件研究所管理，形成了软件研究所格局。 ^[3]

2007年9月，计算机科学国家重点实验室通过建设验收。^[4]2009年5月，中国科学院软件研究所参与研发的“藏文软件开发专项”获得中国电子学会电子信息科学技术奖二等奖。^[12]2011年4月26日-27日，中国科学院软件研究所与《International Journal of Software and Informatics》(IJSI) 共同主办了Symposium in Honor of Prof. Barry W. Boehm国际会议，来自全球七个国家计算机软件工程领域的十余位顶级专家与学者参加了此次会议。^[13]8月11日上午，中国科学院软件研究所青岛研发基地签约仪式在青岛八大关宾馆举行。软件所李明树所长、基础软件国家工程研究中心（中科方德软件有限公司）王继喆zhé总裁与青岛高新区管委会赵书兴主任、青岛市科技局盖健副局长（主持工作）共同签署了软件所青岛研发基地共建协议。^[14]

2013年4月25日，中国科学院与各省科学院软件领域战略合作研讨会在北京鸿翔大厦召开。此次会议由中国科学院院地合作局、高技术研究与发展局主办，中国科学院软件研究所承办。^[15]2013年1月10日至12日，中国新时代认证中心审核组到中国科学院软件研究所，对研究所的质量管理体系进行了第一次监督审核。^[5]次年4月23日上午，中国科学院软件研究所贵阳分部、贵阳信息技术研究院揭牌仪式在贵阳举行。^[6]

2018年1月，科技部发布了2017年信息领域国家重点实验室评估结果，中国科学院软件研究所计算机科学国家重点实验室在32个参评实验室中排名第13位，评为良好类国家重点实验室。^[7]9月17日上午，由院工会副主席、京区事业单位工会主席李静担任组长的 “合格职工之家”复验组对软件所“合格职工之家”工作进行复验。^[16]2019年7月23日，中国科学院软件研究所—鸿合科技股份有限公司“自然人机交互技术联合实验室”成立暨揭牌仪式在软件所举行。^[8]

2020年9月，中国科学院软件研究所人机交互技术与智能信息处理实验室党支部和可信计算与信息保障实验室党支部获“中央和国家机关‘四强’党支部”称号。^[17]2023年1月15日11时14分，中国科学院软件研究所牵头研制的“天智二号”D星在太原卫星发射中心发射升空，成功进入预定轨道。^[9]3月20日下午，中国科学院副院长、党组副书记阴和俊到中国科学院软件研究所调研指导工作，并围绕科研、党建、人才队伍等方面工作进行座谈。^[18]2024年3月14日，中国科学院软件研究所举行了2023年度工作总结考核会。所领导、院士、各中心/实验室负责人、管理支撑部门负责人以及部分科研管理骨干共100余人参加了会议。^[19]

2025年6月，中国科学院软件研究所与计算技术研究所联合发布了全球首个基于人工智能技术的处理器芯片软硬件全自动设计系统“启蒙”。^[20][21]

职位姓名所长赵琛 党委书记、副所长操云甫副所长、党委副书记肖作敏 纪委书记石兵所长特别助理谢京红、李彩丽、钟华副总工程师王  青、胡晓惠、田丰、张振峰

参考资料^[2]

照片	职位	姓名	任职时间
	第一任所长	许孔时	1985年至1994年
	第二任所长	冯玉琳	1994年至2002年
	第三任所长	李明树	2002年至2014年

参考资料^[22]

参考资料^{[23][24][25][26]}

参考资料^{[23][27][28][29][30][31][32]}

参考资料^[23]

参考资料^[23][33][34]

中国科学院软件研究所是国务院学位委员会批准的博士、硕士学位授予权单位之一，设有计算机科学与技术、软件工程、网络空间安全3个一级学科博士研究生培养点、电子信息技术专业（计算机技术领域）博士学位培养点和电子信息专业硕士学位培养点，共有在学研究生587人（其中博士生254人、硕士生333人）。并设有计算机科学与技术、软件工程2个一级学科博士后科研工作流动站，有在站博士后30人。^[11]（截止2022年12月）

中国科学院软件研究所以计算机科学、计算机软件、计算机应用技术、信息安全为重点学科领域，进一步凝练学科方向，优化完善学科布局，注重培育新的学科增长点。进一步加强所级调控能力，将软件所主要力量凝聚到能够带动国家软件技术和产业发展的方向上来，形成综合优势，发挥规模效益。学科方向如下：^[10]

参考资料^[10]

2023年2月，中国科学院软件研究所天基综合信息系统重点实验室研究团队的论文“Disentangle and Remerge: Interventional Knowledge Distillation for Few-Shot Object Detection from A Conditional Causal Perspective”被人工智能领域顶级学术会议AAAI（Association for the Advancement of Artificial Intelligence）接收，第一作者为博士生李江梦、张雅楠。论文首次从因果理论的角度重新审视了小样本目标检测任务的知识蒸馏学习范式，并基于建立的结构因果模型，提出知识蒸馏方法“分离和重组”（D&R），以对相应的结构因果模型进行条件因果干预，在小样本目标检测任务上产生显著的性能提升。^[51]

2023年4月，中国科学院软件研究所天基综合信息系统重点实验室研究团队在复杂背景下的雷达目标检测方面取得了进展。研究论文《基于对比学习的航海雷达目标检测方法》在《电子学报》上发表，第一作者为博士生司凌宇，通信作者为助理研究员强文文。论文针对航海雷达目标检测中背景复杂、原始数据量大、有效数据量少以及检测任务困难等问题，提出了一种全新的基于对比学习的航海雷达目标检测方法（CLMRD，即Contrastive Learning for Marine Radar Detection）。新方法在航海雷达检测数据集（MRDD）上达到了0.97的准确率和0.95的召回率，显著优于其他传统及智能检测方法，验证了其有效性和鲁棒性。^[52]

中国科学院软件研究所建所三十多年来，特别是进入中国科学院知识创新试点工程以来，软件所在计算机科学和软件领域取得了丰硕成果，获院、省部级以上成果奖46项（仅统计为第一完成单位），其中包括国家自然科学奖一等奖1项、二等奖2项、三等奖1项；国家科技进步奖二等奖9项、三等奖2项。另外，计算机领域第1个国家自然科学一等奖出自中国科学院软件研究所。^[11]

2025年6月，中国科学院软件研究所与计算技术研究所联合发布了全球首个基于人工智能技术的处理器芯片软硬件全自动设计系统“启蒙”。该系统基于AI技术，首次实现从芯片硬件到基础软件的全流程无人化设计，其产出方案在性能、能效等关键指标上均达到人类专家水平。此次发布的“启蒙”系统依托大模型等先进人工智能技术，可实现CPU的自动设计，并能为芯片自动配置相应的操作系统、转译程序、高性能算子库等基础软件。在硬件设计方面，利用该系统设计的CPU芯片“启蒙1号”是全球首款全自动生成的32位RISC-V CPU，仅用5小时就能完成全部前端设计，集成超400万逻辑门（相当于Intel 486复杂度），已完成流片。升级版“启蒙2号”可实现1700万逻辑门超标量处理器自动设计，性能对标主流智能手机处理器ARM Cortex A53，可满足高性能边缘计算场景需求。^[20][21]

参考资料^[53]

参考资料^[54]

著作名称出版机构出版时间出版作者计算机网络信息安全理论与实践教程西安电子科技大学出版社2005-09-01蒋建春 杨凡 文伟平密码学实践电子工业出版社2005-08-01张振峰数据库安全科学出版社2005-07-01张敏 徐震 冯登国信息系统安全事件响应科学出版社2005-06-01李德全 苏璞睿新编网络安全教程科学出版社2005-06-01刘在强 王大印 姜中华Red Hat Linux 9系统管理员完全学习手册科学出版社2005-06-01姜中华 王大印自然语言处理综论北京电子工业出版社2005-06-01孙乐无线传感器网络清华大学出版社2005-05-01孙利民 朱红松Visual C++.net试题汇编科学出版社2005-05-01王大印 王利明 姜中华Windows安全漏洞与黑客防范电子工业出版社2005-03-01王大印 刘在强 姜中华安全协议清华大学出版社2005-03-01卿斯汉Effective XML：有效使用XML的50种方法电子工业出版社2005-03-01徐罡 黄涛OpenCL异构计算-2012张云泉 张先轶 龙国平 姚继锋Property-preserving petri net process algebra in software engineering-2012焦莉（2）Web服务安全电子工业出版社2007-12-07马恒太用户驻地网与社区宽带综合业务人民邮电出版社2007-12-01吴志美 方贵明 张树东 石志强 孙延涛 廖成玉 许松涛 程冬超 张春荣 刘琼 皇甫伟 许长桥 李凯慧 王显雷 雷文 徐鹏 周新运 盛凌志 张源海 江何 钟琳华 张林林 郑重Information and Communications SecuritySpringer2007-12-01卿斯汉中国计算机科学技术发展报告2006清华大学出版社2007-11-01张云泉 孙家昶MATLAB控制系统设计 仿真 应用中国电力出版社2007-09-01王丹力信息安全概述清华大学出版社,北京交通大学出版社2007-06-01石志国 贺也平Theory and Applications of Models of ComputationsSpringer2006-12-31李昂生Information Security and CryptologySpringer2006-11-01林东岱 李昂生可信计算平台：设计与应用清华大学出版社2006-10-01冯登国 徐震 张立武代数学基础与有限域高等教育出版社2006-07-01林东岱计算机信息安全教程电子工业出版社2006-01-01王大印Information Security and Cryptology高等教育出版社2005-12-01冯登国 武传坤 林东岱Information Security and CryptologySpringer Verlag2005-12-01冯登国 林东岱

参考资料^[55]

截止2019年，中国科学院软件研究所所属的计算机科学国家重点实验室拥有众多的基础设施平台。^[56]

参考资料^[56]

中科院软件所图书馆建于1986年，是软件专业特色图书馆。占地面积为834.19平方米。图书馆具有良好的信息资源获取与服务环境。拥有馆藏中西文计算机科学与软件技术专业文献2万余种，园区IP可访问国家科学图书馆和研究所自行购买的近百种数据资源库。图书馆为所内用户提供一站式信息服务。中科院软件所图书馆具有一支服务于科研一线的专业团队。通过搜集、组织一定规模的专业化、系列化特色文献情报资源，面向科研人员提供主动式服务，面向研究生提供开放式服务，面向全所人员提供综合服务，以支撑研究所一流的科技创新与发展。^[57]（截止2024年）

截止2024年，中国科学院软件研究所已和世界上40多个国家与地区建立密切的学术联系及多种形式的技术合作关系，平均每年邀请和接待国外学术界、企业界人士数百人次。图灵奖获得者Amir Pnueli、Tony Hoare、姚期智等国际著名科学家都曾到软件所访问讲学。^[58]

中国科学院软件研究所与国际学术团体合作，主办了多种重要国际学术会议。如，面向对象语言与系统技术国际会议、国际信息与通信安全国际会议、首届亚太区万维网技术与应用国际会议、亚洲逻辑和软件工程国际会议、亚洲逻辑会议、APCHI亚太人机界面会议等，为增加国际间学术交流、人才培养、提高研究水平做出了贡献。随着国际经济一体化进程的迅速发展与软件所整体水平的国际认可，软件所与一些国际著名大学、研究机构和公司建立了合作关系。^[58]

中国科学院软件研究所的形象标识以英文缩写字母“ISCAS”为设计元素，经艺术组合处理，在字母中划出一道强劲的弧线，构成地球的轮廓，以体现中国科学院软件研究所的软件事业要推动人类科学技术的发展。这条弧线像一条宽广的道路，一直伸向远方，象征着软件事业要向更高、更远、更深的境界发展。橙与灰的色彩搭配，给人积极向上的视觉冲击力。^[59]

2024年3月14日，由达摩院举办的2024玄铁RISC-V生态大会在深圳举行，来自Arteris、新思科技（Synopsys）、Imagination、中国科学院软件研究所、中国电信研究院等全球数百家企业及机构，带来了玄铁RISC-V在电力、5G通信、机器人、金融等不同行业涌现的应用创新，基于玄铁RISC-V处理器的笔记本电脑“如意BOOK”首次亮相，同时，达摩院宣布发起成立“无剑联盟”。^[61]