قابلية الحساب متعددة الحدود، والدلالات الصورية، ومبرهنات النقطة الثابتة — الأسس التي يقوم عليها برنامجي البحثي.
حيث تلتقي الأساليب الصورية بنماذج LLM: منظومات التحقق، وفحص الاستشهادات، وما يلزم للوثوق بنموذج في بيئة الإنتاج.
المعماريات المعرفية القائمة على المهام، وبروتوكولات التنسيق، واقتصادات الوكلاء — خط البحث المنشور في IEEE Access.
محاكاة المدن القائمة على الوكلاء، وحوكمة التوائم الرقمية، والذكاء المدني.
أكسمة أنظمة البلوكتشين، والسجلات القابلة للتحقق، ومعماريات المعرفة متعددة الطبقات.