更新時間:2024-10-06 15:49:45作者:留學(xué)之路
康奈爾大學(xué)計算機科學(xué)系開設(shè)的研究領(lǐng)域有:
人工智能(Artificial Intelligence)
計算生物學(xué)(Computational Biology)
計算機系統(tǒng)結(jié)構(gòu)與超大規(guī)模集成電路(Computer Architecture & VLSI)
數(shù)據(jù)庫系統(tǒng)(Database Systems)
計算機圖形(Graphics)
編程語言(Programming Languages
機器人(Robotics)
科學(xué)計算(Scientific Computing)
計算機安全(Security)
系統(tǒng)與網(wǎng)絡(luò)(Systems and Networking)
計算理論(Theory of Computing)
康奈爾大學(xué)計算機專業(yè)領(lǐng)域
康奈爾大學(xué)計算機科學(xué)系開設(shè)的專業(yè)領(lǐng)域有:
1.計算機系統(tǒng)(Systems)
計算機操作系統(tǒng)(operating systems)
計算機容錯功能(fault tolerance)
計算機分布式系統(tǒng)(distributed systems)
數(shù)據(jù)庫系統(tǒng)(database systems)
數(shù)字圖書館(digital libraries)
計算機體系結(jié)構(gòu)(machine architecture)
互聯(lián)網(wǎng)(networks)
并行計算(parallel computing)
計算機安全(security)
2.計算理論(Theory of Computation)
算法(algorithms)
復(fù)雜理論(complexity theory)
加密技術(shù)(cryptography)
3.人工智能(Artificial Intelligence)
機器人(robotics)
人機交互(human-computer interaction)
信息檢索(information retrieval)
自然語言處理(natural language processing)
計算機視覺(computer vision)
機器學(xué)習(xí)(machine learning)
知識表達(dá)與推理(knowledge representation and reasoning)
4.編程語言與邏輯(Programming Languages and Logics)
編程原理(programming methodology)
編程環(huán)境(programming environments)
編程邏輯與驗證(program logic and verification)
自動推理(automated reasoning)
編譯器(compilers)
類型理論與程序分析(type theory and program analysis)
編程語言設(shè)計(programming language design)
5.科學(xué)計算與應(yīng)用(Scientific Computing and Applications)
計算機圖形學(xué)(computer graphics)
計算生物學(xué)與生物信息學(xué)(computational biology and bioinformatics)
科學(xué)計算(scientific computing)