內容
數學基礎
計算機科學數學邏輯—布爾邏輯和其它模型邏輯提問；形式證明方法的使用和限制
數字理論—整數理論，在密碼術和人工智慧試驗範圍內使用
製圖理論—數據結構和撿索算法的基礎
對策論—在人工智慧和密碼術中有用
密碼理論—在網路和其它相互通訊的計算機中使用
算術和數據結構
算術—解決廣範圍問題時，序貫和平行計算過程使用
數據結構—數據組織和操縱
人工智慧
人工智慧—研究和落實有自治能力和行動的系統
自動推理
機器人—控制機器人行為的算術
計算機視覺—從二維圖像轉換為三維物體的算術
機器學習—基於輸入自動產生一系列規則和公理
合作網路
實際組織—包括實際和擴展的企業
合作環境（VO Breeding Environment）—包括工業族，工業區域，數字商業生態系統
專業實際共同體
網路化—為了可靠通訊數據通過不同的共享或獻出媒體的算術和協定，常包括錯誤更正。
計算機安全—使計算機和計算機網路安全的實際方面。
密碼術—從複雜，機率和數目理論結果套用到發明和解開密碼，並分析密碼協定的安全性。
計算機建造
計算機建造—設計，組織，最佳化和確認計算機系統；主要是關於CPU和存儲系統
。作系統—管理電腦程式和提供可用系統基礎的系統。
計算機作圖
計算機作圖—產生可見圖像和從真實世界採集或改變可見及空間信息的算術
影像加工過程—通過計算機，決定自影像來的信息
同時，平行，和分布系統
同時—同時計算的理論和實踐：數據在任何多任務和多線索環境下都安全
平行計算—利用能解決多加工過程問題的算術，使能平行計算
分布計算—用多計算器件通過網路計算去完成任務，因而減少延遲
資料庫
相關資料庫—資料庫的系列理論和算術的基礎
數據採集—為了尋找和加工檔案及資料庫中信息研究算術，與恢覆信息有密切關係。
程式語言和編譯
編譯理論—基於自動理論的編譯設計理論
程式語言語用學—程式語言分類，它們的強度和弱點。各種語言語用學，如面向對象的程式化
程式與語言理論
形式語義學—程式意義大量數學研究
點型理論—典型數據的形式分析和利用這些典型去了解程式的性質—特別是數據的安全
科學計算
計算科學—構成數學模型和定量分析技術及利用計算機分析和解決科學問題
數字分析—數學問體的近似解決，如求根，積分，序數微分方程的解和特殊函式的近似
符號的計算—符號形式表達的操作和解決，也稱為計算機代數
計算物理—大的，非分析系統的數字模擬
計算化學—為了決定化學性質和結構，計算理論化學的模型
生物信息和計算生物學—利用計算機科學維持，分析，儲存生物數數據，去幫助解決生物問題。如蛋白摺疊，功能預言和發展史
計算神經科學—計算神經生理學的模型
軟體工程
形式方法—為了軟體設計的描述和推理的數學接近
軟體工程—設計，發展和測試程式和適當工程實踐的原理和實際
算術設計—用算術理論的思想去設計實際的任務
電腦程式化—用程式語言去履行算術的實際
人類-計算機相互作用—研究和設計人用的計算機相互作用
互換工程—套用科學方法去了解任何存在的軟體
計算機理論
自動裝置理論—為了解決問題的不同邏輯結構
可計算的理論—用現有的計算機，什麼是可計算的？用艾倫-圖靈機和其它方法了解什麼可以，什麼不可以提供證明
計算複雜性理論—計算分類的基礎
量子計算理論—開拓包含量子位重疊的計算模型
