Eğitim programı hakkında
Program ve yazılım sistemlerinin tasarım, analiz, dönüşüm, doğrulama ve test modelleri, yöntemleri ve algoritmaları. Program ve yazılım sistemleri arasındaki etkileşimi düzenleyen modeller, yöntemler, mimariler, algoritmalar, diller ve yazılım araçları. Akıllı makine öğrenimi, veritabanı ve bilgi yönetimi sistemleri, dijital ürün geliştirme araçları. Sembolik hesaplama yazılım sistemleri. İşletim sistemleri. Paralel ve dağıtık veri işleme programları ve yazılım sistemleri oluşturma modelleri ve yöntemleri, paralel programlama dilleri ve araçları