中國科學院軟體研究所

1985年，中國科學院計算技術中國科學院軟體研究所的軟體研究室成立。

1995年，原中國科學院計算中心計算機應用部分併入中國科學院軟體研究所。

2003年1月，軟體園區綜合管理服務中心整建制劃歸中國科學院軟體研究所管理。

2007年9月，計算機科學國家重點實驗室通過建設驗收。

2012年7月，信息安全國家重點實驗室劃歸中國科學院信息工程中國科學院軟體研究所。

2014年4月，中國科學院軟體研究所貴陽分部、貴陽信息技術研究院在貴陽成立。

截至2014年4月，中國科學院軟體研究所有正式職工520人，其中院士3名，研究員58名，副研究員及高級工程師102名。國家傑出青年基金獲得者3人，中科院百人計劃入選者8人。

中國科學院院士：

第三世界科學院院士：

國家傑出青年基金獲得者：

截至2014年4月，中國科學院軟體研究所有軟體基礎研究部、軟體高技術研究部、軟體應用研究部和軟體發展研究部等4個研究部以及總體部，有國家工程研究中心2個，國家重點實驗室1個。

國家工程研究中心：基礎軟體國家工程研究中心、衛星導航應用國家工程研究中心分中心

國家重點實驗室：計算機科學國家重點實驗室

• 國際交流

根據2016年1月研究所官網信息，中國科學院軟體研究所和40多個國家與地區建立密切的學術聯繫及多種形式的技術合作關係，平均每年邀請和接待國外學術界、企業界人士數百人次。圖靈獎獲得者Amir Pnueli、Tony Hoare、姚期智等國際著名科學家都曾到中國科學院軟體研究所訪問講學，周巢塵院士於1997至2002年擔任聯合國大學國際軟體技術中國科學院軟體研究所所長。

中國科學院軟體研究所與國際學術團體合作，主辦了多種重要國際學術會議。如，面向對象語言與系統技術國際會議、國際信息與通信安全國際會議、首屆亞太區萬維網技術與應用國際會議、亞洲邏輯和軟體工程國際會議、亞洲邏輯會議、APCHI亞太人機界面會議等，與一些國際著名大學、研究機構和公司建立了合作關係。

• 院地合作

根據2016年1月研究所官網信息，中國科學院軟體研究所與大學、科研機構合作聯合承擔科研項目、聯合培養研究生、聯合建立非獨立法人研究機構、聯合舉辦學術會議及各種形式的學術交流，在青島、哈爾濱等地設立了分部。

• 館藏資源

根據2016年1月研究所官網信息，中科院中國科學院軟體研究所圖書館是軟體專業特色圖書館，有館藏中西文計算機科學與軟體技術專業文獻2萬餘種，園區IP可訪問國家科學圖書館和自行購買的近百種數據資源庫。

• 儀器設備

根據2016年1月研究所官網信息，中科院中國科學院軟體研究所構建了多個科學平台，通過中科院儀器設備共享管理平台通用儀器設備實現了公用共享，主要儀器設備如下表所示：

• 獲獎概況

截至2014年4月，中國科學院軟體研究所在計算機科學和軟體領域獲院、省部級以上成果獎34項（全部為第一完成單位），其中包括國家自然科學獎一等獎1項、二等獎2項、三等獎1項；國家科技進步獎二等獎8項、三等獎2項。

• 項目承擔

截至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多項；

• 《軟體學報》

《軟體學報》是一本刊登計算機軟體各領域原創性研究成果的期刊，《軟體學報》主要面向全球華人計算機軟體學者，致力於創辦與世界計算機科學和軟體技術發展同步的以中文為主的中文國際軟體學術期刊，為全球華人同行提供學術交流平台。

《軟體學報》創刊於1990年，由中國科學院軟體中國科學院軟體研究所和中國計算機學會聯合主辦，為月刊，每期176面，每月6號出版。《軟體學報》注重刊登反映計算機科學和計算機軟體新理論、新方法和新技術以及學科發展趨勢的文章，主要涉及理論計算機科學、演演算法設計與分析、系統軟體與軟體工程、模式識別與人工智慧、資料庫技術、計算機網路、信息安全、計算機圖形學與計算機輔助設計、多媒體技術及其他相關的內容。

• 《中文信息學報》

《中文信息學報》（雙月刊）於1986年創刊，是中國中文信息學會會刊。國內外公開發行。它及時反映中國中文信息處理的學術水平，重點刊登中國中文信息處理基礎理論與應用技術研究的學術論文，以及相關的綜述、研究成果、技術報告、書刊評論、專題討論、國內外學術動態等。

期刊被中國科技論文統計源期刊（中國科技核心期刊）、中國核心期刊（遴選）資料庫收錄期刊、全國中文核心期刊、中國學術期刊綜合綜合評價資料庫收錄期刊、中國期刊全文資料庫全文收錄期刊、中國科技期刊精品資料庫收錄期刊、中國科學引文資料庫收錄期刊、中文科技期刊資料庫收錄期刊、CEPS中文電子期刊服務資料庫全文收錄期刊、《中國學術期刊文摘》（中文版與英文版）收錄期刊。

• 《計算機系統應用》

《計算機系統應用》是中國科學院主管、中國科學院軟體中國科學院軟體研究所主辦的、面向國內外公開發行的技術性，應用性強的科技期刊，是《中國核心期刊(遴選)資料庫》收錄期刊，是《中國學術期刊綜合評價資料庫》和《中國科學引文資料庫》的來源期刊。

此外，中國科學院軟體研究所主辦的學術刊物還有《International Journal of Software and Informatics》等。

• 學科概況

根據2016年1月研究所官網信息，中國科學院軟體研究所是首批開展招生培養電子與信息領域工程博士的試點單位之一，有2個一級學科碩士、博士研究生培養點，2個全日制專業學位碩士研究生培養點，2個博士后科研工作流動站。

博士后科研工作流動站：計算機科學與技術、軟體工程、網路空間安全

一級學科博士研究生培養點：計算機科學與技術、軟體工程、網路空間安全

一級學科碩士研究生培養點：計算機科學與技術、軟體工程、網路空間安全

專業學位碩士研究生培養點：計算機技術、軟體工程

• 學科方向

根據2016年1月研究所官網信息，中國科學院軟體研究所以計算機科學、計算機軟體、計算機應用技術、信息安全為重點學科領域，學科方向如下：

計算機科學與軟體理論，探索適合網路軟體的形式化方法和演演算法理論，建立實時、併發系統的語義模型以及分析和驗證方法，為國產基礎軟體平台技術體系和網際網路信息處理奠定堅實的理論基礎。

基礎軟體技術與系統，初步形成低成本、高可信、網路化與自主開放的國產基礎軟體平台技術體系，為中國軟體產業的發展和信息化建設提供關鍵的軟體基礎設施。

網際網路信息處理的理論、方法與技術，實現人性化的信息交互和處理界面，開發智能搜索引擎，解決網際網路信息的高效、精確、友好獲取和使用問題。

綜合信息系統技術，以中國未來發展和建設的需求為背景，以探索和解決大型複雜綜合信息系統技術中的基礎性、關鍵性技術難題。

根據2016年1月件研究所官網信息，中國科學院軟體研究所有在學研究生455人，其中碩士生265人，博士生190人；在站博士后14人。

釋義：以“中國科學院軟體研究所”英文縮寫字母“ISCAS”為設計元素，經藝術組合處理，在字母中劃出一道強勁的弧線，構成地球的輪廓，以體現我們的軟體事業要推動人類科學技術的發展。

這條弧線又像一條寬廣的道路，一直伸向遠方，象徵著我們的軟體事業要向更高、更遠、更深的境界發展。橙與灰的色彩搭配，給人以生機勃發、積極向上的視覺衝擊力。所有這些，都體現出中國科學院軟體中國科學院軟體研究所雄厚的實力、堅實的地位和不斷發展的趨勢。

創新求實，永競一流