أعمل عند تقاطع المنطق الرياضي والتحقق من الذكاء الاصطناعي وتصميم الأنظمة واسعة النطاق. أطروحتي الأساسية: البيئات التي يتخذ فيها الذكاء الاصطناعي القرارات اليوم — المدن والحكومات والأنظمة متعددة الوكلاء ذاتية التشغيل — تحتاج إلى طبقة مستقلة قابلة للتحقق تفحص ما ينتجه الذكاء الاصطناعي، كما يفحص المدقق دفاتر الشركة.
خلفيتي في المنطق الرياضي والبرمجة الدلالية — أعمال على مبرهنات النقطة الثابتة على طريقة غاندي، ومسألة P = L، والتمثيلات القابلة للحساب متعددة الحدود للأنظمة الشكلية. ومن هناك انتقلت إلى البنية التحتية التطبيقية للذكاء الاصطناعي: أساليب الذكاء الاصطناعي الموثوق التي تجمع بين النماذج اللغوية الكبيرة والمنطق الشكلي، ومحرّك التحقق ENIGMA Axiom الذي يضع هذه الأساليب موضع التنفيذ.
أقدّم اليوم الاستشارات للمؤسسات التي تبني ذكاءً اصطناعياً عالي المخاطر — من خلال IAIC FZCO في دبي — وأنظّم مؤتمرات (MathAI وSmartCity وفعاليات IAIC) ومبادرات تحريرية تجمع مجتمع البحث حول الذكاء الاصطناعي الموثوق.
P = L، والنظائر متعددة الحدود لمبرهنة غاندي للنقطة الثابتة، والتمثيلات القابلة للحساب متعددة الحدود.
دمج النماذج اللغوية الكبيرة مع أنظمة المنطق الشكلي؛ التحقق الشكلي والوقائعي من مخرجات النماذج (ENIGMA Axiom).
المدن الافتراضية والتوائم الرقمية ومجتمعات الذكاء الاصطناعي ذاتية التشغيل على مستوى المدينة.
البنى المعرفية القائمة على المهام؛ الذكاء الاصطناعي + السجلات القابلة للتحقق لكفاءة الحكومات والذكاء المدني.
أقدّم الاستشارات للمؤسسات التي تبني ذكاءً اصطناعياً عالي المخاطر — بفواتير من IAIC FZCO، دبي.
استعرض الاستشارات & احجز جلسة →