中國科學院軟體研究所成立於1985年3月1日，是一所致力於計算機科學理論和軟體高新技術的研究與發展的綜合性基地型研究所。所址位於北京海淀區中關村南四街4號中國科學院軟體園內。
中國科學院軟體研究所以計算機科學、計算機軟體、計算機套用技術、信息安全為重點學科領域，學科方向為：計算機科學與軟體理論，基礎軟體技術與系統，網際網路信息處理的理論、方法與技術，綜合信息系統技術。
截至2014年4月，中國科學院軟體研究所有正式職工520人，其中中國科學院院士3名，第三世界科學院院士1名；有國家工程研究中心2個，國家重點實驗室1個；有在學研究生455人，其中碩士生265人，博士生190人；在站博士後14人。
基本介紹
- 中文名：中國科學院軟體研究所
- 外文名：Institute of Software Chinese Academy of Sciences
- 簡稱：ISCAS，軟體所
- 成立時間：1985年3月1日
- 主管部門：中國科學院
- 博士後流動站：2個
- 博士點：2個（一級學科）
- 碩士點：4個（一級學科2個，專業型2個）
- 研究所地址：北京海淀區中關村南四街4號
- 所長：趙琛
歷史沿革,科研條件,人員編制,科研部門,合作交流,設施資源,科研成就,科研成果,學術期刊,人才培養,學科建設,教學建設,文化傳統,形象標識,精神,機構領導,現任領導,歷任領導,
歷史沿革
1985年，中國科學院計算技術中國科學院軟體研究所的軟體研究室成立。
1995年，原中國科學院計算中心計算機套用部分併入中國科學院軟體研究所。
2003年1月，軟體園區綜合管理服務中心整建制劃歸中國科學院軟體研究所管理。
2007年9月，計算機科學國家重點實驗室通過建設驗收。
2012年7月，信息安全國家重點實驗室劃歸中國科學院信息工程中國科學院軟體研究所。
2014年4月，中國科學院軟體研究所貴陽分部、貴陽信息技術研究院在貴陽成立。
中國科學院軟體研究所
中國科學院軟體研究所科研條件
人員編制
截至2014年4月，中國科學院軟體研究所有正式職工520人，其中院士3名，研究員58名，副研究員及高級工程師102名。國家傑出青年基金獲得者3人，中科院百人計畫入選者8人。
中國科學院院士：
第三世界科學院院士：
| 姓名 | 入選時間 |
|---|---|
2000年 | |
資料來源： | |
國家傑出青年基金獲得者：
科研部門
國家工程研究中心：基礎軟體國家工程研究中心、衛星導航套用國家工程研究中心分中心
國家重點實驗室：計算機科學國家重點實驗室
合作交流
- 國際交流
中國科學院軟體研究所與國際學術團體合作，主辦了多種重要國際學術會議。如，面向對象語言與系統技術國際會議、國際信息與通信安全國際會議、首屆亞太區全球資訊網技術與套用國際會議、亞洲邏輯和軟體工程國際會議、亞洲邏輯會議、APCHI亞太人機界面會議等，與一些國際著名大學、研究機構和公司建立了合作關係。
| 名稱 | 合作機構 |
|---|---|
ISCAS/USC-CSE軟體工程聯合實驗室 | 南加州大學 |
ISCAS/UMass-LASER軟體工程聯合實驗室 | 麻省大學 |
ISCAS/Altair高性能計算與格線計算軟體聯合研究中心 | ---- |
ISCAS/UQITEE數據與軟體工程聯合研究實驗室 | 昆士蘭大學 |
NFS-China/Sun作業系統技術聯合實驗室 | SUN公司 |
Mozilla中國中心 | Mozilla Foundation |
微軟高技術培訓中心 | 微軟公司 |
資料來源： | |
- 院地合作
根據2016年1月研究所官網信息，中國科學院軟體研究所與大學、科研機構合作聯合承擔科研項目、聯合培養研究生、聯合建立非獨立法人研究機構 、聯合舉辦學術會議及各種形式的學術交流，在青島、哈爾濱等地設立了分部。
| 名稱 | 合作機構 |
|---|---|
北京市軟體生產和質量保證技術聯合實驗室 | 北京科委 |
工業管理與設計工程研究中心 | |
中國科學院寧波軟體開發中心 | 寧波市科委 |
江蘇中科軟體工程技術中心 | 江蘇軟體園 |
資料來源： | |
中國科學院軟體中國科學院軟體研究所無錫分部 | 中國科學院軟體中國科學院軟體研究所重慶分部 |
中國科學院軟體中國科學院軟體研究所哈爾濱分部 | 中國科學院軟體中國科學院軟體研究所廣州分部 |
中國科學院軟體中國科學院軟體研究所青島分部 | 中國科學院軟體中國科學院軟體研究所青島分部 |
資料來源： | |
設施資源
- 館藏資源
根據2016年1月研究所官網信息，中科院中國科學院軟體研究所圖書館是軟體專業特色圖書館，有館藏中西文計算機科學與軟體技術專業文獻2萬餘種，園區IP可訪問國家科學圖書館和自行購買的近百種數據資源庫。
- 儀器設備
根據2016年1月研究所官網信息，中科院中國科學院軟體研究所構建了多個科學平台，通過中科院儀器設備共享管理平台通用儀器設備實現了公用共享，主要儀器設備如下表所示：
| 類別 | 儀器設備 |
|---|---|
伺服器 | HP ML370 G5、IBM System p5 51A、IBM System p5 52A、 IBM x366、IBM x3650、IBM x3755、IBM P720 刀片式伺服器：IBM BladeCenter JS21、IBM HS21、IBM HS22、IBM LS21 機架式伺服器：Dawning（曙光）天闊 620r-F、Dawning（曙光）天闊 840、Dawning（曙光）天闊 I950 cpu並行運算伺服器 |
千億次刀片機群系統 | 曙光天闊伺服器 S4800A1 、IBM BladeCenter H刀片中心 |
工作站 | DELL 490、DELL 670、DELL Precision T7500 |
存儲設備 | BM DS4300磁碟陣列、IBM 3581磁帶自動載入機 |
網路設備 | 思科 PIX-525-UR-GE-BUN防火牆主機、思科 WS-C4506交換機 |
專業設備 | Optech ILRIS-36D三維測量儀、VIVID 910三維數據化儀 |
資料來源： | |
科研成就
科研成果
- 獲獎概況
截至2014年4月，中國科學院軟體研究所在計算機科學和軟體領域獲院、省部級以上成果獎34項（全部為第一完成單位），其中包括國家自然科學獎一等獎1項、二等獎2項、三等獎1項；國家科技進步獎二等獎8項、三等獎2項。
| 時間 | 獲獎成果名稱 | 等級 | 主要完成人 |
|---|---|---|---|
1987年 | 分散式程式設計理論 | 二等 | 周巢塵 |
1987年 | 有限自動機的可逆性理論 | 三等 | 陶仁驥、陳世華 |
1989年 | 基於時序邏輯的軟體工程環境的理論與設計 | 一等 | 唐稚松 |
1999年 | 並發進程的代數理論及驗證工具 | 二等 | 林惠民 |
資料來源： | |||
| 時間 | 獲獎成果名稱 | 等級 |
|---|---|---|
1985年 | UNIX系統的研究分析推廣套用和開發 | 三等 |
1992年 | 支持可理解性和可復用性的軟體設計系統URS-1 | 二等 |
1999年 | 保險業務綜合網路管理系統 | 三等 |
2000年 | 計算機網路安全關鍵技術研究與產品開發 | 二等 |
2000年 | 高性能分散式並行數值代數軟體研究與開發 | 二等 |
2002年 | 網路分布軟體支撐平台及石化套用示範工程 | 二等 |
2005年 | 軟體過程服務技術及集成管理系統 | 二等 |
2005年 | 公開密鑰基礎設施技術研究與套用 | 二等 |
2011年 | 網路軟體基礎架構平台（網馳ONCE）技術和系統 | 二等 |
資料來源： | ||
- 項目承擔
截至2013年7月，中國科學院軟體研究所軟體工程技術研究開發中心承擔了國家自然科學基金、國家973計畫、國家863計畫、國家科技支撐計畫、“核高基”重大科技專項等項目/課題100多項；基礎軟體國家工程研究中心承擔了國家各類重大/重點項目，包括：國家科技支撐計畫“高速列車網路控制系統”、“中華字型檔工程”、“核高基”國家科技重大專項“開源作業系統核心分析和安全性評估”、863、973、國家自然科學基金、科學院創新工程重大專項等30餘項；網際網路軟體技術實驗室承擔了國家自然科學基金項目10餘項，國家973計畫課題1項“需求演化建模”；國家863計畫30餘項，完成了10餘項中科院、教育部、北京科委等支持的知識創新工程和重點科技攻關項目；
- 論文發表
截至2013年7月，中國科學院軟體研究所軟體工程技術研究開發中心國內外重要期刊與會議發表論文300餘篇；基礎軟體國家工程研究中心每年在國際會議和期刊發表論文50餘篇；人機互動技術與智慧型信息處理實驗室在國內外主流會議和期刊上發表相關學術論文300餘篇；網際網路軟體技術實驗室在國際/國內發表論文250餘篇；
- 專利及其他
截至2013年7月，軟體工程技術研究開發中心申請發明專利30餘項（已授權18項），軟體著作權100多項；基礎軟體國家工程研究中心有專利79項, 軟體著作權288項；網際網路軟體技術實驗室申請專利30餘項、軟體著作權170多項；
學術期刊
- 《軟體學報》
軟體學報- 《中文信息學報》
《中文信息學報》（雙月刊）於1986年創刊，是中國中文信息學會會刊。國內外公開發行。它及時反映中國中文信息處理的學術水平，重點刊登中國中文信息處理基礎理論與套用技術研究的學術論文，以及相關的綜述、研究成果、技術報告、書刊評論、專題討論、國內外學術動態等。
中文信息學報
中文信息學報期刊被中國科技論文統計源期刊（中國科技核心期刊）、中國核心期刊（遴選）資料庫收錄期刊、全國中文核心期刊、中國學術期刊綜合綜合評價資料庫收錄期刊、中國期刊全文資料庫全文收錄期刊、中國科技期刊精品資料庫收錄期刊、中國科學引文資料庫收錄期刊、中文科技期刊資料庫收錄期刊、CEPS中文電子期刊服務資料庫全文收錄期刊、《中國學術期刊文摘》（中文版與英文版）收錄期刊。
- 《計算機系統套用》
《計算機系統套用》是中國科學院主管、中國科學院軟體中國科學院軟體研究所主辦的、面向國內外公開發行的技術性，套用性強的科技期刊，是《中國核心期刊(遴選)資料庫》收錄期刊，是《中國學術期刊綜合評價資料庫》和《中國科學引文資料庫》的來源期刊。
計算機系統套用
計算機系統套用此外，中國科學院軟體研究所主辦的學術刊物還有《International Journal of Software and Informatics》等。
人才培養
學科建設
- 學科概況
根據2016年1月研究所官網信息，中國科學院軟體研究所是首批開展招生培養電子與信息領域工程博士的試點單位之一，有2個一級學科碩士、博士研究生培養點，2個全日制專業學位碩士研究生培養點，2個博士後科研工作流動站。
博士後科研工作流動站：計算機科學與技術、軟體工程、網路空間安全
一級學科博士研究生培養點：計算機科學與技術、軟體工程、網路空間安全
一級學科碩士研究生培養點：計算機科學與技術、軟體工程、網路空間安全
專業學位碩士研究生培養點：計算機技術、軟體工程
- 學科方向
根據2016年1月研究所官網信息，中國科學院軟體研究所以計算機科學、計算機軟體、計算機套用技術、信息安全為重點學科領域，學科方向如下：
計算機科學與軟體理論，探索適合網路軟體的形式化方法和算法理論，建立實時、並發系統的語義模型以及分析和驗證方法，為國產基礎軟體平台技術體系和網際網路信息處理奠定堅實的理論基礎。
基礎軟體技術與系統，初步形成低成本、高可信、網路化與自主開放的國產基礎軟體平台技術體系，為中國軟體產業的發展和信息化建設提供關鍵的軟體基礎設施。
網際網路信息處理的理論、方法與技術，實現人性化的信息互動和處理界面，開發智慧型搜尋引擎，解決網際網路信息的高效、精確、友好獲取和使用問題。
綜合信息系統技術，以中國未來發展和建設的需求為背景，以探索和解決大型複雜綜合信息系統技術中的基礎性、關鍵性技術難題。
教學建設
根據2016年1月件研究所官網信息，中國科學院軟體研究所有在學研究生455人，其中碩士生265人，博士生190人；在站博士後14人。
文化傳統
形象標識
釋義：以“中國科學院軟體研究所”英文縮寫字母“ISCAS”為設計元素，經藝術組合處理，在字母中劃出一道強勁的弧線，構成地球的輪廓，以體現我們的軟體事業要推動人類科學技術的發展。
