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)