جائزة تورنغ
جائزة تورنغ هي جائزة سنوية تُمنح من طرف رابطة مكائن الحوسبة (ACM), إلى شخص تم إختياره لمساهمات "ذات أهمية تقنية دائمة وكبيرة في مجال الكمبيوتر" وهي تشبه جائزة نوبل ولكنها تمنح لعلماء الحاسوب فقط، سُميت الجائزة باسم آلان تورنغ , العالم العظيم والرياضي والباحث المميز البريطاني في جامعة مانشستر, صاحب اختراع آلة تورنغ واختبار تورنغ.
جائزة تورنغ | |
---|---|
منحت لـ | المساهمات البارزة في علم الحاسوب |
البلد | الولايات المتحدة الأمريكية |
سميت باسم | آلان تورنغ |
مقدمة من | رابطة مكائن الحوسبة (ACM) |
قيمة الجائزة | 1,000,000دولار أمريكي |
أول جائزة | 1966 |
آخر جائزة | 2014 |
الموقع الرسمي | amturing |
غالبًا ما يُنسب إلى تورنغ كونه المؤسس الرئيسي لعلوم الكمبيوتر النظرية والذكاء الاصطناعي.
من 2007 إلى 2013 الجائزة أصبحت مصحوبة بمبلغ مالي بقيمة 250,000 دولار أمريكي، مع دعم مالي قدمته إنتل وجوجل, منذ عام 2014 إرتفع المبلغ المادي المرافق للجائزة ليصبح مليون دولار أمريكي، بدعم مالي من جوجل.
أول من حصل على الجائزة كان آلان جاي بيرليس من جامعة كارنيجي ميلون في العام 1966 وكانت أول امرأة تتلقّى الجائزة هي فرانسيس إليزابيث آلن من شركة آي بي إم في العام 2006.
الحائزين على الجائزة
السنة | الفائز | Citation |
---|---|---|
1966 | آلان جاي بيرليس | لتأثيره في مجال تقنيات برمجة الحاسوب المتقدمة وبناء المترجمات[1] |
1967 | موريس ويلكس | صمم أول حاسوب مزود ببرنامج مخزّن داخليًا (EDSAC) في عام 1949.[2] |
1968 | ريتشارد هامينغ | عن عمله في التحليل العددي وأنظمة الترميز الأوتوماتيكية وأنظمة كشف الأخطاء وإصلاحها. [3] |
1969 | مارفن مينسكي | لدوره المركزي في إنشاء وتطوير مجال ذكاء الاصطناعي.[4] |
1970 | جيمس هاردي ويلكنسون | عن بحثه في التحليل العددي لتسهيل استخدام الحاسوب الرقمي عالي السرعة، وحصل على تقدير خاص لعمله في حسابات الجبر الخطي وتحليل الخطأ بطريقة تراجعية. [5] |
1971 | جون مكارثي | بسبب محاضراته عن : «حالة الأبحاث الحالية في مجال الذكاء الاصطناعي».[6] |
1972 | ادسخر دكسترا | كان مساهمًا أساسيًا في تطوير لغة ألغول (لغة برمجة) في أواخر الخمسينيات من القرن العشرين، وهي لغة برمجة متطورة جدًا أصبحت نموذجًا في الوضوح والدقة الرياضية. يعتبر إدسخر أحد المؤسسين الرئيسيين للعلوم ولغات البرمجة بشكل عام، وساهم بشكل كبير في فهمنا لهيكلها وتمثيلها وتنفيذها.[7] |
1973 | تشارلز وليام باتشمان | لإسهاماته البارزة في تكنولوجيا قواعد البيانات[8] |
1974 | دونالد ارفين كانوث | عن مساهماته الهامة في تحليل الخوارزميات وتصميم لغات البرمجة، وبشكل خاص عن مساهماته في (فن برمجة الحاسوب) من خلال سلسلة كتبه المتتابعة والمعروفة في هذا المجال. [9] |
1975 | ألن نيويل وهيربرت ألكسندر سيمون | قدموا مساهمات أساسية في مجال الذكاء الاصطناعي.[10] |
1976 | مايكل اوزر رابين ودانا ستيوارت سكوت | عن طرحهم المشترك بعنوان (التشغيل المثالي المحدود ومشكلة اتخاذ القرارات). |
1977 | جون باكوس | لمساهماته العميقة والمؤثرة والدائمة في تصميم نظم برمجة عملية متطورة جدًا، ولا سيما من خلال عمله في فورتران، ومن أجل نشره مواصفات لغة البرمجة.[11] |
1978 | روبرت فلويد | بسبب تأثيره الكبير على منهجيات إنشاء برامج فعالة وموثوقة، ومساعدته في العثور على المجالات المستقبلية الهامة من علم الحاسوب مثل: نظرية التجزئة (لغة)، علم المعاني للغات البرمجة، التحقق التلقائي في البرامج، البرامج المركبة، وتحليل الخوارزميات.[12] |
1979 | كينيث يوجين ايفرسون | لجهوده الرائدة في لغات البرمجة والرموز الرياضية التي أدت إلى إنشاء مجال الحوسبة المعروف باسم (APL).[13] |
1980 | توني هور | عن مساهماته الهامة في تعريف وتصميم لغات البرمجة.[14] |
1981 | إدجار فرانك كود | عن مساهماته الهامة والمستمرة في نظرية نظم إدارة قواعد البيانات. مثل قاعدة البيانات العلائقية.[15] |
1982 | ستيفن آرثر كوك | عن تطويره فهم الحسابات المعقدة بطريقة واسعة ومؤثرة[16] |
1983 | كين تومسن ودينيس ماكاليستار ريتشي | لتطويرهم نظرية أنظمة التشغيل العامة وتحديدًا نظام التشغيل يونكس. |
1984 | نيكلاوس ويرث | لتطويره سلسلة من لغات البرمجة المبتكرة مثل: باسكال. |
1985 | ريتشارد مانينغ كارب | عن إسهاماته المستمرة في نظرية الخوارزميات وتطوير خوارزميات فعالة لتدفق الشبكة وغيرها من مسائل التحسين الجماعي. |
1986 | جون هوبكروفت وروبرت تارجان | عن إنجازاته الأساسية في تصميم وتحليل الخوارزميات وهياكل البيانات. |
1987 | جون كوك | ساهم بشكل كبير في تصميم وصياغة نظرية (المحول البرمجي). |
1988 | إيفان سذرلاند | عن مساهماته الرائدة والرائعة في تطوير الرسوميات الحاسوبية |
1989 | وليام كاهان | عن مساهماته الأساسية في التحليل العددي. ويعتبر أحد أهم الخبراء في مجال حسابات الفاصلة المتحركة. كرّس نفسه «لجعل العالم آمنًا للحسابات الرقمية». |
1990 | فرناندو خوسيه كورباتو | لعمله الرائد في تنظيم المفاهيم وتطوير نظم الحاسوب العامة. |
1992 | بتلر لامبسون | مساهمته في تطوير وتنفيذ بيئات الحوسبة الموزعة والحوسبة الشخصية مثل: محطات العمل والشبكات ونظام التشغيل وأنظمة البرمجة وشاشات العرض الآمن ونشر الوثائق. |
1993 | جوريس هارتمانيس وريتشارد ادوين ستيرنز | تقديرًا للورقة التأسيسية التي طرحت أسس نظرية التعقيد الحسابي.[17] |
1994 | إدوارد فيغنبوم وراج ريدي | كانا من رواد تصميم وبناء أنظمة الذكاء الاصطناعي على نطاق واسع، وأشار إلى الأهمية العملية والتأثير التجاري المحتمل لتكنولوجيا الذكاء الاصطناعي.[18] |
1995 | مانويل بلوم | تقديرًا لمساهماته في وضع أسس نظرية التعقيد الحسابي وتطبيقها على علم التعمية وفحص البرنامج. |
1996 | أمير بنولي | للعمل التأسيسي في إدخال المنطق الزمني في علم الحوسبة ومساهماته البارزة في التحقق من البرامج والنظم. |
1997 | دوغلاس إنجيلبارت | قدم رؤية ملهمة لمستقبل الحوسبة التفاعلية واخترع التقنيات الأساسية المساعدة على تحقيق هذه الرؤية. |
1998 | جيم غراي | قدم مساهمات أساسية في أبحاث قواعد البيانات ونظام معالجة المعاملات. |
1999 | فريدريك فيليبس بروكس، الإبن | بسبب مساهماته الهامة في معمارية الحاسوب وأنظمة التشغيل وهندسة البرمجيات. |
2000 | أندرو تشي تشي ياو | تقديرًا لمساهماته الأساسية في النظرية الحسابية، بما في ذلك النظرية الخاصة بتوليد الأعداد شبه العشوائية وعلم التعمية وتعقيد الاتصالات. |
2001 | أولي يوهان دال وكريستين نيغارد | عن أفكاره الأساسية للبرمجة كائنية التوجه، من خلال تصميم وبرمجة لغات سيمولا (لغة برمجة). |
2002 | رونالد لين ريفست وعدي شامير وليونارد ماكس أديلمان | عن مساهمتهم الهامة في جعل التشفير باستخدام المفتاح العام مفيدًا بشكل عملي. |
2003 | ألان كاي | كان رائدًا للعديد من الأفكار في جذور البرمجة المعاصرة كائنية التوجه، قاد الفريق الذي طور سمول توك، وله مساهمات أساسية في الحوسبة الشخصية. |
2004 | فينتون جراي سيرف وروبرت اليوت خان | عن عملهم الرائد في مجال الشبكات، بما في ذلك تصميم وتنفيذ بروتوكولات الاتصالات الأساسية للإنترنت، وعن اعمالهم الملهمة في مجال الشبكات. |
2005 | بيتر ناور | عن مساهماته الأساسية في تصميم لغة ألغول البرمجية، وممارسة برمجة الكمبيوتر. |
2006 | فرانسيس إليزابيث آلن | عن مساهماته الرائدة في نظرية تحسين تقنيات المحول البرمجي وتنفيذها. |
2007 | إدموند ميلسون كلارك وإرنست ألين ايمرسون وجوزيف سيفاكيس | عن دورهم في تطوير نموذج التحقق واستخدامه في تكنولوجيا تحقق فعالة للغاية، والتي استُخدمت في البرمجيات وصناعة الأجهزة على نطاق واسع. |
2008 | باربارا لسكوف | عن مساهماته في الأسس العملية والنظرية للغة البرمجة وتصميم الأنظمة، خاصة فيما يتعلق بإزالة البيانات واحتمال الخطأ والحوسبة الموزعة. |
2009 | تشارلز ثاكر | عن تصميمه الرائِد لحاسوب زيروكس ألتو وهو أول حاسوب شخصي حديث، بالإضافة إلى إسهاماته في (الإيثرنت) والحاسوب اللوحي. |
2010 | ليزلي غابرييل فالينت | من أجل مساهماته لتغيير النظرية الحسابية، بما في ذلك نظرية التعلم الصحيح تقريبًا (PAC). |
2012 | سيلفيو ميكالي وشافريرا غولدفاسر | وضع الأسس النظرية المعقدة لعلم التشفير. |
2013 | ليسلي لامبورت | ساهم بشكل أساسي في نظرية الأنظمة الموزعة والمتزامنة وتطبيقها، وطرح مفاهيم هامة مثل السببية والساعات المنطقية والسلامة. |
2014 | ميخائيل ستونبراكر | عن مساهماته الأساسية في المفاهيم والتطبيقات التي تعتمد عليها أنظمة قواعد البيانات الحديثة. |
2015 | مارتن إدوارد هيلمان وويتفيلد ديفي | عن مساهماتهم الأساسية في علم التشفير الحديث. قدمت ورقة ديفي وهيلمان الرائدة في عام 1976 بعنوان (اتجاهات جديدة في التشفير) أفكار تشفير المفتاح العام والإمضاءات الرقمية، وهي أساس معظم بروتوكولات الأمان المستخدمة على شبكة الإنترنت اليوم. |
2016 | تيم بيرنرز لي | لاختراع الشبكة العنكبوتية العالمية ومتصفح الويب الأول والبروتوكولات الأساسية والخوارزميات التي تسمح بتوسيع نطاق الشبكة العنكبوتية.[19] |
2017 | جون هينيسي | للريادة في اتباع منهجية وتوجه كمي لتصميم وتقييم هياكل الكمبيوتر مع تأثير دائم على صناعة المعالجات الدقيقة.[20] |
ديفيد باترسون | ||
2018 | يوشيوا بنجيو | للإنجازات المفاهيمية والهندسية التي جعلت التعلم المتعمق عنصرا حاسما في الحوسبة.[21] |
جيوفري هينتون | ||
يان ليكون | ||
2019 | إدوين كاتمول وبات هانراهان | للمساهمات الأساسية في رسومات الحاسوب ثلاثية الأبعاد، والتأثير الثوري لهذه التقنيات على الصور المُنشأة بواسطة الحاسوب (CGI) في صناعة الأفلام والتطبيقات الأخرى.[22] |
مراجع
- Perlis, A. J. (1967). "The Synthesis of Algorithmic Systems". Journal of the ACM. 14: 1. doi:10.1145/321371.321372. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Wilkes, M. V. (1968). "Computers then and Now". Journal of the ACM. 15: 1. doi:10.1145/321439.321440. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Hamming, R. W. (1969). "One Man's View of Computer Science". Journal of the ACM. 16: 3. doi:10.1145/321495.321497. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Minsky, M. (1970). "Form and Content in Computer Science (1970 ACM turing lecture)". Journal of the ACM. 17 (2): 197. doi:10.1145/321574.321575. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Wilkinson, J. H. (1971). "Some Comments from a Numerical Analyst". Journal of the ACM. 18 (2): 137. doi:10.1145/321637.321638. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - McCarthy, J. (1987). "Generality in artificial intelligence". Communications of the ACM. 30 (12): 1030. doi:10.1145/33447.33448. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Dijkstra, E. W. (1972). "The humble programmer". Communications of the ACM. 15 (10): 859. doi:10.1145/355604.361591. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Bachman, C. W. (1973). "The programmer as navigator". Communications of the ACM. 16 (11): 653. doi:10.1145/355611.362534. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Knuth, D. E. (1974). "Computer programming as an art". Communications of the ACM. 17 (12): 667. doi:10.1145/361604.361612. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Newell, A.; Simon, H. A. (1976). "Computer science as empirical inquiry: Symbols and search". Communications of the ACM. 19 (3): 113. doi:10.1145/360018.360022. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Backus, J. (1978). "Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs". Communications of the ACM. 21 (8): 613. doi:10.1145/359576.359579. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Floyd, R. W. (1979). "The paradigms of programming". Communications of the ACM. 22 (8): 455. doi:10.1145/359138.359140. مؤرشف من الأصل في 24 مارس 2020. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Iverson, K. E. (1980). "Notation as a tool of thought". Communications of the ACM. 23 (8): 444. doi:10.1145/358896.358899. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Hoare, C. A. R. (1981). "The emperor's old clothes". Communications of the ACM. 24 (2): 75. doi:10.1145/358549.358561. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Codd, E. F. (1982). "Relational database: A practical foundation for productivity". Communications of the ACM. 25 (2): 109. doi:10.1145/358396.358400. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Cook, S. A. (1983). "An overview of computational complexity". Communications of the ACM. 26 (6): 400. doi:10.1145/358141.358144. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Stearns, R. E. (1994). "Turing Award lecture: It's time to reconsider time". Communications of the ACM. 37 (11): 95. doi:10.1145/188280.188379. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Reddy, R. (1996). "To dream the possible dream". Communications of the ACM. 39 (5): 105. doi:10.1145/229459.233436. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - "Turing award 2016". ACM. مؤرشف من الأصل في 5 أكتوبر 2019. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - "Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award". ACM. مؤرشف من الأصل في 18 سبتمبر 2019. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Fathers of the Deep Learning Revolution Receive ACM A.M. Turing Award نسخة محفوظة 16 يونيو 2019 على موقع واي باك مشين.
- Pioneers of Modern Computer Graphics Recognized with ACM A.M. Turing Award – Hanrahan and Catmull’s Innovations Paved the Way for Today’s 3-D Animated Films. Retrieved March 19, 2020. نسخة محفوظة 18 مارس 2020 على موقع واي باك مشين.
وصلات خارجية
- بوابة علم الحاسوب
- بوابة تقنية المعلومات
- بوابة الولايات المتحدة