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ı; Programlama dilleri ve programlama sistemleri, program anlamları; Programlar 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; Küresel olarak dağıtılmış veri işleme organizasyonunun modelleri, yöntemleri, algoritmaları, bulut teknolojileri ve yazılım altyapısı vb.