جائزة تورنغ

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
جائزة تورنغ
Logo turing.png

منحت لـ المساهمات البارزة في علم الحاسوب
البلد الولايات المتحدة الأمريكية
سميت باسم آلان تورنغ  تعديل قيمة خاصية سمي باسم (P138) في ويكي بيانات
مقدمة من رابطة مكائن الحوسبة (ACM)
قيمة الجائزة 1,000,000دولار أمريكي
أول جائزة 1966
آخر جائزة 2014
الموقع الرسمي amturing.acm.org

جائزة تورنغ هي جائزة سنوية تُمنح من طرف رابطة مكائن الحوسبة (ACM), إلى شخص تم إختياره لمساهمات "ذات أهمية تقنية دائمة وكبيرة في مجال الكمبيوتر" وهي تشبه جائزة نوبل ولكنها تمنح لعلماء الحاسوب فقط, سُميت الجائزة باسم آلان تورنغ , العالم العظيم والرياضي والباحث المميز البريطاني في جامعة مانشستر, صاحب اختراع آلة تورنغ واختبار تورنغ.

غالبًا ما يُنسب إلى تورنغ كونه المؤسس الرئيسي لعلوم الكمبيوتر النظرية والذكاء الاصطناعي.

من 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 بعنوان (اتجاهات جديدة في التشفير) أفكار تشفير المفتاح العام والإمضاءات الرقمية، وهي أساس معظم بروتوكولات الأمان المستخدمة على شبكة الإنترنت اليوم.

مراجع[عدل]

  1. ^ Perlis، A. J. (1967). "The Synthesis of Algorithmic Systems". Journal of the ACM. 14: 1. doi:10.1145/321371.321372. 
  2. ^ Wilkes، M. V. (1968). "Computers then and Now". Journal of the ACM. 15: 1. doi:10.1145/321439.321440. 
  3. ^ Hamming، R. W. (1969). "One Man's View of Computer Science". Journal of the ACM. 16: 3. doi:10.1145/321495.321497. 
  4. ^ 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. 
  5. ^ Wilkinson، J. H. (1971). "Some Comments from a Numerical Analyst". Journal of the ACM. 18 (2): 137. doi:10.1145/321637.321638. 
  6. ^ McCarthy، J. (1987). "Generality in artificial intelligence". Communications of the ACM. 30 (12): 1030. doi:10.1145/33447.33448. 
  7. ^ Dijkstra، E. W. (1972). "The humble programmer". Communications of the ACM. 15 (10): 859. doi:10.1145/355604.361591. 
  8. ^ Bachman، C. W. (1973). "The programmer as navigator". Communications of the ACM. 16 (11): 653. doi:10.1145/355611.362534. 
  9. ^ Knuth، D. E. (1974). "Computer programming as an art". Communications of the ACM. 17 (12): 667. doi:10.1145/361604.361612. 
  10. ^ 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. 
  11. ^ 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. 
  12. ^ Floyd، R. W. (1979). "The paradigms of programming". Communications of the ACM. 22 (8): 455. doi:10.1145/359138.359140. 
  13. ^ Iverson، K. E. (1980). "Notation as a tool of thought". Communications of the ACM. 23 (8): 444. doi:10.1145/358896.358899. 
  14. ^ Hoare، C. A. R. (1981). "The emperor's old clothes". Communications of the ACM. 24 (2): 75. doi:10.1145/358549.358561. 
  15. ^ Codd، E. F. (1982). "Relational database: A practical foundation for productivity". Communications of the ACM. 25 (2): 109. doi:10.1145/358396.358400. 
  16. ^ Cook، S. A. (1983). "An overview of computational complexity". Communications of the ACM. 26 (6): 400. doi:10.1145/358141.358144. 
  17. ^ 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. 
  18. ^ Reddy، R. (1996). "To dream the possible dream". Communications of the ACM. 39 (5): 105. doi:10.1145/229459.233436. 

وصلات خارجية[عدل]

USA Flag Map.svg
هذه بذرة مقالة عن الولايات المتحدة بحاجة للتوسيع. شارك في تحريرها.