البرمجة, الذكاء الاصطناعي, المنطق الرياضي, علوم الحاسوبإشباع الوحدات النمطية (Satisfiability Modulo Theories)
أجهزة الكمبيوتر, الأجهزة, الوسائط المتعددة, تكنولوجيا المعلوماتالحاسوب متعدد الوسائط (Multimedia Computer)