教研實力:CS是Faculty of Computing and Information Science(CIS)里的一個系,Cornell的計算機系歷史悠久,其專業(yè)實力位居美國TOP 5。
主要包括11個研究領域:人工智能、機器人、計算生物學、科學計算、計算機架構與超大規(guī)模集成電路、網(wǎng)絡安全、數(shù)據(jù)庫系統(tǒng)、系統(tǒng)與網(wǎng)絡、計算機圖形、計算機理論和程序設計語言。
人工智能:這是Cornell的CS里最有實力的研究。從1990年開始,在世界的AI研究領域中始終處理領導者的地位,擁有多個研究小組。
計算機理論:Cornell最傳統(tǒng)、深入的研究領域之一,研究涉及了全部的計算機理論,旨在發(fā)展現(xiàn)代計算復雜性理論,有效的基礎圖算法,并使用應用邏輯與正式驗證構建可靠系統(tǒng)。