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