لانس فورتناو

لانس جيريمي فورتناو (مواليد 15 أغسطس 1963) عالم حاسوب معروف بإسهاماته البارزة في مجال التعقيد الحسابي وأنظمة الإثبات التفاعلية . يعمل منذ عام 2019 في معهد إلينوي للتكنولوجيا ، حيث يشغل حاليًا منصب أستاذ علوم الحاسوب. شغل منصب العميد المؤسس لكلية الحوسبة من يونيو 2020 إلى يونيو 2025.

حصل لانس فورتناو على درجة الدكتوراه في الرياضيات التطبيقية من معهد ماساتشوستس للتكنولوجيا عام ١٩٨٩، ^{[ ١ ]} تحت إشراف مايكل سيبسر . ومنذ تخرجه، عمل في هيئة التدريس بجامعة شيكاغو (١٩٨٩-١٩٩٩، ٢٠٠٣-٢٠٠٧)، وجامعة نورث وسترن (٢٠٠٨-٢٠١٢)، ومعهد جورجيا للتكنولوجيا (٢٠١٢-٢٠١٩) رئيسًا لكلية علوم الحاسوب . ^{[ ٢ ] [ ٣ ]} وفي الفترة من ١٩٩٩ إلى ٢٠٠٣، شغل منصب باحث علمي أول في معهد أبحاث شركة إن إي سي. ^{[ ٤ ]}

كان فورتناو أول رئيس تحرير لمجلة ACM Transactions on Computation Theory في عام 2009. ^{[ 5 ]} كما ترأس مجموعة ACM SIGACT ^{[ 6 ]} وخلفه بول بيم. وترأس مؤتمر IEEE حول التعقيد الحسابي ^{[ 7 ]} من عام 2000 إلى عام 2006. وفي عام 2002، أنشأ إحدى أوائل المدونات المتخصصة في علوم الحاسوب النظرية ^{[ 8 ]} ، ويكتب فيها منذ ذلك الحين. ومنذ عام 2007، يشاركه في التدوين ويليام غاسارش . وفي سبتمبر 2009، لفت فورتناو الأنظار إلى نظرية التعقيد عندما نشر مقالًا يستعرض التقدم المحرز في مسألة P مقابل NP في مجلة Communications of the Association for Computing Machinery . ^{[ 9 ]}

قدّم فورتناو، من خلال منشوراته العديدة، نتائج مهمة في مجال التعقيد الحسابي . وأثناء دراسته العليا في معهد ماساتشوستس للتكنولوجيا، بيّن فورتناو أنه لا توجد بروتوكولات مثالية ذات معرفة صفرية للغات NP-كاملة إلا إذا انهار التسلسل الهرمي متعدد الحدود . ^{[ 10 ]} كما أثبت، بالتعاون مع مايكل سيبسر، أنه بالنسبة إلى أوراكل محدد ، توجد لغة في co-NP لا تمتلك بروتوكولًا تفاعليًا. ^{[ 11 ]}

في نوفمبر 1989، تلقى فورتناو بريدًا إلكترونيًا من نعوم نيسان يُبين أن لغة co-NP تمتلك براهين تفاعلية متعددة المُثبتين (MIP). وبالتعاون مع كارستن لوند وهوارد كارلوف، استخدم هذه النتيجة لتطوير تقنية جبرية لبناء أنظمة البرهان التفاعلية، وأثبت أن كل لغة في التسلسل الهرمي متعدد الحدود تمتلك نظام برهان تفاعلي. ^{[ 12 ]} لم يمضِ على عملهم سوى أسبوعين حتى استخدمه آدي شامير لإثبات أن IP = PSPACE . ^{[ 13 ]} وفي متابعة سريعة لهذا (17 يناير 1990، أي بعد أقل من شهرين من تلقي بريد نيسان الإلكتروني)، أثبت فورتناو، بالتعاون مع لازلو باباي وكارستن لوند، أن MIP = NEXP . ^{[ 14 ]} وقد توسعت هذه التقنيات الجبرية لاحقًا على يد فورتناو وباباي وليونيد ليفين وماريو سيجيدي عندما قدموا آلية عامة جديدة للتحقق من العمليات الحسابية. ^{[ 15 ]}

واصل فورتناو نشر أبحاثه في مواضيع متنوعة ضمن مجال التعقيد الحسابي، بما في ذلك إزالة العشوائية ، واللغات المتفرقة ، وآلات أوراكل . كما نشر فورتناو أبحاثًا في الحوسبة الكمومية ، ونظرية الألعاب ، وتسلسل الجينوم ، والاقتصاد .

تشمل أعمال فورتناو في الاقتصاد دراسات في نظرية الألعاب، والاستراتيجيات المثلى، والتنبؤ. وقد درس، بالتعاون مع ديوك وانغ، معضلة السجين الكلاسيكية في نظرية الألعاب ، موسعًا نطاقها بحيث تُطرح المعضلة بشكل متسلسل لعدد لا نهائي من المرات. وقد بحثا في الاستراتيجيات التي ينبغي على اللاعبين اتباعها في ظل القيود المفروضة عليهم، وهي اختيار استراتيجياتهم من مجموعات محدودة حسابيًا، مع إدخال "فترات سماح" لمنع هيمنة الاستراتيجيات الانتقامية. ^{[ 16 ]} كما درس فورتناو قاعدة تسجيل السوق اللوغاريتمية (LMSR) مع صانعي السوق . وساهم في إثبات أن تسعير LMSR هو مسألة صعبة من فئة #P، واقترح تقنية تقريبية لتسعير أسواق التبديل. ^{[ 17 ]} كما ساهم في دراسة سلوك المتداولين المطلعين الذين يعملون مع صانعي سوق LMSR. ^{[ 18 ]}

ألف فورتناو أيضًا كتابًا علميًا بعنوان " التذكرة الذهبية: P، NP والبحث عن المستحيل" ^{[ 19 ]} ، والذي استند بشكلٍ جزئي إلى مقالٍ كتبه لمجلة CACM عام 2009. ^{[ 20 ]} يقدم فورتناو في كتابه مقدمةً مبسطةً لمشكلة P مقابل NP وقيودها الخوارزمية. كما يشرح كتابه ويوضح أهمية مشاكل NP في بودكاست "المتشكك في البيانات" ^{[ 21 ]} .

• زميل جمعية آلات الحوسبة لعام 2007
• زميل هيئة التدريس الرئاسي في المؤسسة الوطنية للعلوم من عام 1992 إلى عام 1998
• باحث في برنامج فولبرايت في هولندا عامي 1996 و1997
• جائزة نيرود لعام 2014

• الصفحة الرئيسية لفورتناو
• قائمة المنشورات