الذكاء الاصطناعي, علوم الحاسوب, مشكلات الإرضاء القيدية, نظرية التعقيدنظرية ثنائية شيفر (Schaefer’s Dichotomy Theorem)
آلة تورينج, علوم الحاسوب, نظرية الحوسبة, نماذج الحسابآلة تورينج متعددة الأشرطة (Multi-tape Turing Machine)
الأنظمة المدمجة, علوم الحاسوب, معالجة البيانات المتوازية, هندسة الحاسوبروبرت إيانوكسي (Robert Iannucci)