中國科學院軟體研究所(中科院軟體所)

中國科學院軟體研究所

中科院軟體所一般指本詞條

中國科學院軟體研究所成立於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人。
中國科學院院士:
姓名入選時間
1993年
1993年
1999年
資料來源:
第三世界科學院院士:
姓名入選時間
2000年
資料來源:
國家傑出青年基金獲得者:
序號姓名獲得時間
1
2000
2
2001
3
李昂生
2003
4
詹乃軍
2016
資料來源:

科研部門

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

合作交流

  • 國際交流
根據2016年1月研究所官網信息,中國科學院軟體研究所和40多個國家與地區建立密切的學術聯繫及多種形式的技術合作關係,平均每年邀請和接待國外學術界、企業界人士數百人次。圖靈獎獲得者Amir Pnueli、Tony Hoare、姚期智等國際著名科學家都曾到中國科學院軟體研究所訪問講學,周巢塵院士於1997至2002年擔任聯合國大學國際軟體技術中國科學院軟體研究所所長。
中國科學院軟體研究所
中國科學院軟體研究所與國際學術團體合作,主辦了多種重要國際學術會議。如,面向對象語言與系統技術國際會議、國際信息與通信安全國際會議、首屆亞太區全球資訊網技術與套用國際會議、亞洲邏輯和軟體工程國際會議、亞洲邏輯會議、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多項;

學術期刊

  • 《軟體學報》
軟體學報》是一本刊登計算機軟體各領域原創性研究成果的期刊,《軟體學報》主要面向全球華人計算機軟體學者,致力於創辦與世界計算機科學和軟體技術發展同步的以中文為主的中文國際軟體學術期刊,為全球華人同行提供學術交流平台。
軟體學報軟體學報
軟體學報》創刊於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”為設計元素,經藝術組合處理,在字母中劃出一道強勁的弧線,構成地球的輪廓,以體現我們的軟體事業要推動人類科學技術的發展。
中國科學院軟體研究所(中科院軟體所)
這條弧線又像一條寬廣的道路,一直伸向遠方,象徵著我們的軟體事業要向更高、更遠、更深的境界發展。橙與灰的色彩搭配,給人以生機勃發、積極向上的視覺衝擊力。所有這些,都體現出中國科學院軟體中國科學院軟體研究所雄厚的實力、堅實的地位和不斷發展的趨勢。

精神

創新求實,永競一流

機構領導

現任領導

現任領導
職務姓名
所長
黨委書記、副所長
副所長、黨委副書記
肖作敏
紀委書記
石兵
學術副所長
資料來源:

歷任領導

歷任所長
任期姓名
1985年至1994年
許孔時
1994年至2002年
2002年至2014年
資料來源:

相關詞條

熱門詞條

聯絡我們