Algoritmalar
Başarım Modellemesi ve Değerlendirmesi
Benzetim ve Modelleme
Bilişimsel Model
Karmaşıklık Kuramı
Sayısal Algoritmalar
Sıralama ve Tarama
Bilgi Güvenliği ve Güvenilirliği
Bilgi Sistemi Güvenilirliği
Kriptoloji
Bilgisayar Ağları
Haberleşme ve Ağ Protokolleri
Veri Yönlendirme
Kuramsal Bilgisayar Bilimleri
Biçimsel Diller
Bilgi Depolaması ve Geri Kazanımı
Veri Gösterimi ve Saklanması
Veri Sıkıştırılması
Veri Yapıları
Belirsizlik Yönetimi
Bilgi Mühendisliği
Bulanık Kümeler ve Sistemler
Otomatik Problem Çözümü, Kuram Kanıtlaması ve Mantıksal Nedenleme
Sinirsel Ağlar
İşletim Sistemleri
Otomatik Programlama
Programlama Dilleri
Yazılımla Hesaplama
