Kariyer Planlama ve Yazılım Mühendisliğine Giriş

Biçimsel Diller ve Otomatlar

Yazılım Mühendisliği Tasarım Projesi

Hesaplama Teorisi (Doktora)