جائزة جودل

جائزة جودل  هي جائزة سنويَّة، تُمنح للأبحاث المتميزة في مجال علوم الحاسوب النظري مُشاركةً من قِبل الجمعية الأوروبية لعلوم الحاسوب النظرية (EATCS) ومجموعة رابطة مكائن الحوسبة المعنية بشكل خاص بالخوارزميات ونظرية الحوسبة (ACM SIGACT)، وقد سُميت الجائزة بهذا الاسم نسبةً لكورت غودل، وهو فيلسوف نمساوي أمريكي بارز وعالم بالرياضيات والمنطق، وفيما يتعلق بعلوم الحاسوب النظرية، كان أول من ذكر مسألة كثير الحدود وكثير الحدود غير القطعي (P versus NP)، وذلك في رسالة وجهها عام 1956 لجون رون نيومان سائلاً إياه فيها عن إمكانية حل مسألة كثيرة حدود غير قطعية كاملة في زمن تربيعي أو خطي.The Gödel Letter | Gödel's Lost Letter and P=NP 

وقد قُدّمت جائزة غودل منذ عام 1993، ويتم التكريم إما خلال ندوة رابطة مكائن الحوسبة السنوية عن نظرية الحوسبة (STOC)، والتي تُعد إحدى المؤتمرات الرئيسية عن علوم الحاسوب النظرية المُقامة في أمريكا الشمالية، أو في الندوة الدولية عن التشغيل الذاتي، واللغات والبرمجة (ICALP)، وهي من أهم المؤتمرات الأوروبية في هذا المجال، وحتى يكون المرء جديراً بالجائزة، ينبغي أن يكون قد نشر بحثاً له في دورية محكّمة خلال السنوات الـ14 الماضية (كانت المدة 7 سنوات سابقاً)، وتتضمن الجائزة مكافأة قدرها 5000 دولاراً أمريكياً.

ويجري اختيار الفائز بالجائزة بواسطة لجنة مؤلفة من ستة أعضاء، إذ يعيّن كل من رئيس الـ(EATCS) ورئيس الـ(SIGACT) ثلاثة أعضاء فيها، وذلك لمدة ثلاثة سنوات متعاقبة، ويرأس اللجنة ممثلون من الجهتين بالتناوب.

 الفائزون بالجائزة 
السنة الاسم أو الأسماء ملاحظاتسنة النشر1993 لازلو باباي، وشافي غولدواسر، وسيلفيو ميكالي، لاوشلومو موران، وتشارلز راكوف. لتطوير أنظمة الأدلّة التفاعلية  1988, 19891994 يوان هوستا لابتكاره حداً أسّياً أدنى لحجم الدارات البوليانية ثابتة العمق (لابتكار دالة التكافؤ، وهي دالة بوليانية تبلغ قيمتها 1 إذا تحقق الشرط اللازم والكافي بأن يمتلك متّجه الإدخال عدداً فردياً من القيمة 1.)  19891995 نيل إيميرمان وروبيرت سيليبتشينيي لنظرية إيميرمان- سيليبتشينيي المتعلقة بتعقيد الفراغ غير القطعي.  1988, 19881996 مارك جيروم وأليستير سينكلير  لعملهما على سلاسل ماركوف والمصفوفات.  1989, 19891997 جوزيف هالبيرن ويورام موسى  لتحديد مفهوم رسمي للـ«معرفة» في بيئات موزّعة.  19901998 سينوسوكي تودا  لابتكار نظرية تودا التي أظهرت ترابطاً بين عد الحلول (بي بي –في التعقيد الحسابي–) وتغيير محددات الكمية (بي اتش–في التعقيد الحسابي–).  19911999 بيتر شور  لابتكاره خوارزمية شور لتحليل الأعداد إلى عوامل في الزمن متعدد الحدود على حاسوب كمومي.  19972000 موشي واي. فاردي وبيير فولبر  لعملهما على المنطق الزمني لدى آلات التشغيل الذاتي ذات الحالات المنتهية  19942001 سانجيف أرورا، ويوريل فيج، وشافي غولدواسر، وكارستين لوند، ولازلو لوفاز، وراجيف موتواني، وشموئيل صفرا، ومادو سودان، وماريو زيجيدي  لابتكار نظرية بي سي بي (PCP) –والتي تنص على أن أية معضلة حسم ضمن نمط تعقيد حسابي كثير حدود غير قطعي تمتلك إثباتاً قابلاً للتحقق احتمالياً لتعقيد تساؤلي ثابت وآخر لعشوائية لوغاريتمية– وتطبيقاتها على صعوبة التقريب.  1996, 1998, 19982002 جيرو سينيزيرج لإثبات أن تكافؤ أوتومات الدفع السفلي القطعي قابل للحسم.  20012003 يوآف فرويند وروبيرت شاباير لابتكارهمها خوارزمية آدابوست في التعلم الآلي.  19972004 موريس هيرليهي، ومايكل ساكس، ونير شافيت، وفوتيوس زاهاروغلو لتطبيقات الطوبولوجيا على نظرية الحوسبة الموزّعة.  1999,. Gödel prize lecture 20002005 نوغا ألون، ويوسي ماتياس، وماريو زيجيدي  لمساهمتهم التأسيسية في خوارزميات تدفق البيانات.  1999. First presented at the Symposium on Theory of Computing (STOC) in 1996.2006 مانيندرا أغراوال، ونيراج كايال، ونيتين ساكسينا لابتكارهم اختبار أ.ك.أس لأولية عدد ما.  20042007 أليكساندر رازابوروف، وستيفين روديتش  لعملهما على الإثباتات الطبيعية.  19972008 دانييل سبيلمان، وشانغوا تينغللتحليل السلس للخوارزميات.  20042009  عمر رينغولد، وسليل فادان، وآفي فيغدرسون  للناتج المتعرج في الرسم البياني، والإس إل في الفضاء اللوغاريتمي.  2002, 20082010 سانجيف آرورا، وجوزيف إس. بي. ميتشيل لاكتشافهما المتزامن لنظام التقريب الزمني متعدد الحدود (PTAS) لمسألة البائع المتجول الإقليدي (ETSP).  1998,
19992011  يوان هوستا  لإثباته النتيجة الاستمثالية غير القابلة للتقريب للعديد من المسائل التوافقية.  20012012  إلياس كوتسوبياس، وكريستوس باباديميتريو، ونعوم نيسان، وأمير رونين، وتيم روفغاردين، وإيفا تاردوس  لوضع مبادئ لنظرية الألعاب الخوارزمية.  2009, 2002, 20012013  دان بونيه، وماثيو كيه. فرانكلين، وأنتوان جو  لتبادل مفتاح ديفي-هيلمان متعدد الأطراف، ونظام بونيه-فرانكلين في التشفير.ACM Group Presents Gödel Prize for Advances in Cryptography: Three Computer Scientists Cited for Innovations that Improve Security , رابطة مكائن الحوسبة, May 29, 2013.   2003,
20042014  رونالد فاجين، وآمنون لوتيم، وموني نائور  لضم الخوارزميات الامتثالي للبرمجيات الوسيطة Recipients Achieved Groundbreaking Results for Aggregating Data from Multiple Sources, رابطة مكائن الحوسبة, April 30, 2014.   2003,2015  دانييل سبيلمان، وشانغوا تينغ لسلسلة أبحاثهما عن حلول لابلاس ذات الزمن قرب الخطي.2015 Gödel Prize announcement  by رابطة مكائن الحوسبة.  2011
2013
20142016ستيفين بروكس وبيتر دبليو. أوهيرنلاختراعهما منطق الفصل المتزامن.2007, 20072017سينثيا دوورك، وفرانط ماكشيري، وكوبي نسيم، وأدم سميثاختراعهم الخصوصية التمايزية.20062018 أوديد ريجيفلتقديمه مسألة التعلم مع أخطاء.2009

 ملاحظات 

 مراجع 

تصنيف:أحداث سنوية
تصنيف:جوائز أسست في 1993
تصنيف:جوائز عالمية
تصنيف:جوائز علم الحاسوب
تصنيف:علم الحاسوب النظري