Biçimsel Diller ve Otomatlar

Yazılım Mühendisliği

Yazılım Gereksinmeleri Mühendisliği

Yazılım Kalite Güvencesi ve Testi

Tasarım Şablonları

Nesneye Yönelik Programlama

İnsan Bilgisayar Etkileşimi

Hesaplama Teorisi

Derleyici Tasarımı

Hesaplamalı Teorisi

Doğal Dil İşlemede İstatistiksel Yöntemler

Bilgisayar Grafikleri

Yapay Us

Programlama Dillerinin Temelleri