Yazılım Mühendisliği
Yazılım Gereksinmeleri Mühendisliği
Yazılım Kalite Güvencesi ve Testi
Tasarım Şablonları
İnsan Bilgisayar Etkileşimi
Biçimsel Diller ve Otomatlar
Hesaplama Teorisi
Derleyici Tasarımı
Doğal Dil İşlemede İstatistiksel Yöntemler
Bilgisayar Grafikleri
Programlama Dilleri
Nesneye Yönelik Programlama