康奈爾大學(xué)計算機科學(xué)碩士介紹

康奈爾大學(xué)計算機科學(xué)碩士介紹

教研實力：CS是Faculty of Computing and Information Science（CIS）里的一個系，Cornell的計算機系歷史悠久，其專業(yè)實力位居美國TOP 5。

主要包括11個研究領(lǐng)域：人工智能、機器人、計算生物學(xué)、科學(xué)計算、計算機架構(gòu)與超大規(guī)模集成電路、網(wǎng)絡(luò)安全、數(shù)據(jù)庫系統(tǒng)、系統(tǒng)與網(wǎng)絡(luò)、計算機圖形、計算機理論和程序設(shè)計語言。

人工智能：這是Cornell的CS里最有實力的研究。從1990年開始，在世界的AI研究領(lǐng)域中始終處理領(lǐng)導(dǎo)者的地位，擁有多個研究小組。

計算機理論：Cornell最傳統(tǒng)、深入的研究領(lǐng)域之一，研究涉及了全部的計算機理論，旨在發(fā)展現(xiàn)代計算復(fù)雜性理論,有效的基礎(chǔ)圖算法,并使用應(yīng)用邏輯與正式驗證構(gòu)建可靠系統(tǒng)。