يركز طلاب الدراسات العليا في برنامج أطروحة الدكتوراه على تطوير المعرفة بدورة حياة البرنامج بدءًا من التصميم والتنفيذ والاختبار وحتى التوثيق والصيانة، من خلال البحث المكثف في مجال الاهتمام المختار.
مجالات البحث
- التفاعل بين الإنسان والكمبيوتر
- التعلم الآلي
- لغات البرمجة
- هندسة البرمجيات
- التحسين
- الهندسة الحسابية
- تقييم الأداء
- قواعد البيانات
- تحليلات البيانات ومراكز البيانات
- الأنظمة والشهادات المهمة للسلامة
- الهندسة المستندة إلى النماذج
- الخوارزميات والتعقيد
- الطرق الرسمية والتحقق الرسمي
- الرياضيات الآلية
- التحليل الرقمي
- الحوسبة العلمية
- أنظمة التحكم
- الرياضيات المنطقية والمنفصلة
- السلاسل وخوارزميات السلاسل
- التزامن
- الشبكات اللاسلكية
- الحوسبة المتنقلة
- أنظمة الأحداث المنفصلة
- تصميم اللعبة
