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

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

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

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

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

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