-
計算機科學國家重點實驗室(中國科學院軟件研究所)
鎖定
計算機科學國家重點實驗室依託中國科學院軟件研究所,實驗室成立於1993年,1994年由中國科學院批准成為中國科學院開放實驗室,2001年改名為中國科學院重點實驗室。在2002年全國信息領域重點實驗室評估中,計算機科學實驗室被評為優秀實驗室。2005年經科技部批准開始進行國家重點實驗室建設,2007年完成建設並通過驗收。
- 中文名
- 計算機科學國家重點實驗室
- 外文名
- State Key Laboratory of Computer Science
- 建立時間
- 1993年
- 機構管理
- 中國科學院軟件研究所
- 行政隸屬
- 中科院
計算機科學國家重點實驗室(中國科學院軟件研究所)研究領域
計算機科學國家重點實驗室(中國科學院軟件研究所)招生指南
實驗室每年面向國內外招收有志於在計算機科學方面追求卓越的碩士、博士研究生和博士後,也面向青年學子招收部分實習生。實驗室招生基本要求:有堅實的數學基礎,有優良的算法設計與編程實驗能力,有良好的英文交流能力,有團隊合作精神。熱忱歡迎計算機科學與技術、軟件工程與多媒體,以及數學、物理、自動控制等相關學科的學生加盟。
建議參加複試的學生在與上述要求相關的課程方面多作準備,如高等數學、線性代數、離散數學、數據結構、算法分析與設計等。
計算機科學國家重點實驗室(中國科學院軟件研究所)學術團隊
實驗室現有研究人員50人,其中中國科學院院士3人,博士生導師24人,55歲以下的研究人員均有博士學位,形成了一個以中青年為主體、思想活躍、充滿朝氣的羣體。實驗室成員已獲得國家自然科學獎一等獎1項、二等獎2項,國家科技進步獎二等獎5項等獎勵。在中科院和軟件所的領導與支持下,實驗室全體成員共同努力,在科學研究和隊伍建設方面做了大量的工作,承擔了多項國家和科學院的重大重點項目。實驗室堅持把研究的質量和水平放在首位,自覺抵制急功近利、浮躁虛誇的不良風氣,同時提倡學術民主,鼓勵不同學術觀點的競爭與融合。實驗室有多位我國計算機軟件科學事業的奠基人和開拓者。
計算機科學國家重點實驗室(中國科學院軟件研究所)交流合作
實驗室積極開展各種形式的學術交流和與國內外同行的合作。實驗室積極邀請國內外知名學者來訪進行學術交流。每年有數十位從事計算機科學基礎研究的國際同行來訪交流;訪問過實驗室的計算機科學最高獎圖靈獎獲得者有Juris Hartmanis、Tony Hoare、Robin Milner、Amir Pnueli、Andrew Yao、John Hopcroft、Joseph Sifakis、Edmund Clarke、Allen Emerson、Leslie Valiant。實驗室已經成為國際同行瞭解我國計算機科學基礎研究水平的重要窗口和建立聯繫的橋樑。
實驗室多次主辦、承辦國際會議。實驗室成員也積極出訪,參加國際、國內的學術會議,在國內外學術機構舉行報告會,開展交流。實驗室專門設立了開放課題基金,歡迎國內外同行申請,與實驗室成員開展合作研究。
- 參考資料
-
- 1. 研究方向 .計算機科學國家重點實驗室[引用日期2014-11-23]