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

實驗室以國內外計算機科學技術領域提出的基本問題為背景，面向國家發展軟體產業和國家安全的戰略需求，開展計算機科學理論和軟體基礎研究。

• 計算機科學基礎理論與形式化方法：研究以併發、實時、混成、移動、概率等為主要行為特徵的複雜計算系統，建立和發展描述這些系統行為的數學模型理論（形式建模），以及描述這些系統性質的規範理論（形式規約），並研究如何自動或半自動地進行系統驗證（形式驗證）。研究基於網路結構的演演算法及其複雜性理論，揭示網路新原理，建立網路計算新理論，並應用於網路安全性、健壯性、可控性及在網路智能搜索、網路預測等方面。

• 徠軟體系統原理及開發方法：研究程序設計語言的基礎理論，探索軟體可靠性開發的新框架和新方法，研究面向各種併發程序的分析、驗證和測試方法，開發相應的輔助工具，並結合應用實例的研究，提高演演算法及工具的效率和性能。研究基礎軟體核心技術，研製國產操作系統、中間件和資料庫，形成基礎軟體平台體系，實現我國基礎軟體產品的自主可控。突破高安全可信、國產軟硬體優化適配等操作系統核心關鍵技術；突破新一代中間件關鍵技術，為海雲計算和物聯網提供運行支撐；突破大規模分散式實時主動資料庫關鍵技術，開發分散式實時主動資料庫系統。

• 圖形圖像與人機交互：研究動態複雜可視現象的高效圖形表達與繪製的理論和方法，面向實踐需求的複雜圖像處理方法和技術，複雜環境下人機交互的自然感知基礎理論和多通道整合方法，以及上下文感知的智能交互技術。

• 并行與分佈計算及可信計算：研究數萬處理器的高可擴展并行演演算法與應用軟體，異構的分散式硬體平台，海量數據處理與高性能模擬的計算耦合，以及相關的特徵理論、非規則網格、計算流體力學模擬等。研究可信計算與信息保障基礎理論、關鍵技術與系統、測評方法與工具，包括：可信計算體系結構、協議設計與分析、認證授權與網路信任、信息對抗與網路保障、可信資料庫與雲安全、可信系統的測評方法與工具等。

• 大數據及智能信息處理：研究多源異構大數據的表示方法、度量模型、語義理解機制，包括：大數據抽樣方法、異構特徵選擇、語義相似性計算模型及數據挖掘演演算法；面向多知識源的語義Web本體集成模型及推理演演算法；多源異構大數據的可視化方法；實時智能控制調度系統等。

實驗室每年面向國內外招收有志於在計算機科學方面追求卓越的碩士、博士研究生和博士后，也面向青年學子招收部分實習生。實驗室招生基本要求：有堅實的數學基礎，有優良的演演算法設計與編程實驗能力，有良好的英文交流能力，有團隊合作精神。熱忱歡迎計算機科學與技術、軟體工程與多媒體，以及數學、物理、自動控制等相關學科的學生加盟。

建議參加複試的學生在與上述要求相關的課程方面多作準備，如高等數學、線性代數、離散數學、數據結構、演演算法分析與設計等。

實驗室現有研究人員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。實驗室已經成為國際同行了解我國計算機科學基礎研究水平的重要窗口和建立聯繫的橋樑。

實驗室多次主辦、承辦國際會議。實驗室成員也積極出訪，參加國際、國內的學術會議，在國內外學術機構舉行報告會，開展交流。實驗室專門設立了開放課題基金，歡迎國內外同行申請，與實驗室成員開展合作研究。