Courses 
0750742 -- Theory of Concurrency (for MSc programme)
0750781 -- Formal Methods (for MSc Program)
0750761 -- Advanced Database (for MSc Program)
0750791 -- Fundamentals of Scientific Research (for MSc program)
0750721 -- Algorithms and Complexity (for MSc Program)
بناء المترجمات الحديثة - مراد معوش
أساليب البحث العلمي - مؤيد الأعظمي
الأنظمة الذكية - مؤيد الأعظمي
أنظمة التشغيل - نمير الامام
الخوارزميات و تراكيب البيانات المتقدمة
الطرق الشكلية في هندسة البرمجيات