ويكيبيديا

قائمة الحاصلين على جائزة تورنغ

جائزة تُمنح للمساهمات البارزة في علم الحاسوب
(بالتحويل من جائزة تورينغ)

جائزة تورنغ (بالإنجليزية: ACM A. M. Turing Award)‏ هي جائزة سنوية تُمنح من طرف جمعية آلات الحوسبة (ACM)، إلى شخص أو عدة أشخاص للمساهمات «ذات الأهمية التقنية الدائمة والكبيرة في مجال الحاسوب»[2] تُعرف الجائزة عمومًا بأنها أعلى تقدير في علوم الحاسوب وهي تعتبر جائزة نوبل في مجال علم الحاسوب أو يشار إليها غالبًا باسم «جائزة نوبل للحوسبة».[3][4][5][6]

جائزة تورنغ
معلومات عامة
منحت لـ
المساهمات البارزة في علم الحاسوب
البلد
سميت باسم
مقدمة من
المكان
قيمة الجائزة
أول جائزة
1966
موقع الويب
amturing.acm.org (الإنجليزية) عدل القيمة على Wikidata

تعديل - تعديل مصدري - تعديل ويكي بياناتحول القالب

سُميت الجائزة باسم آلان تورنغ، العالم والرياضي والباحث المميز البريطاني في جامعة مانشستر، صاحب اختراع آلة تورنغ واختبار تورنغ. غالبًا ما يُنسب إلى تورنغ كونه المؤسس الرئيسي لعلوم الحاسوب النظرية والذكاء الاصطناعي.[7]

أصبحت الجائزة بين عامي 2007 و 2013 مصحوبة بمبلغ مالي قيمته 250,000 دولار أمريكي، بدعم قدّمته إنتل وجوجل،[2] منذ عام 2014 ارتفع المبلغ المادي المرافق للجائزة ليصبح مليون دولار أمريكي، بدعم مالي من جوجل.[1][8]

أول من حصل على الجائزة كان آلان جاي بيرليس من جامعة كارنيجي ميلون في العام 1966، وهو عالم حاسوب أمريكي كتب المترجم للغة البرمجة ألغول.[9] وكانت أول امرأة تتلقّى الجائزة هي فرانسيس إليزابيث آلن من شركة آي بي إم في العام 2006، عن عملها في تحسين المحولات البرمحية، مما ساهم عملها في تطوير التنفيذ الموازي في المعالجة المتعددة.[10]

الحائزون على الجائزة

عدل
السنة الفائز البلد ملاحظات المراجع
1966 آلان بيرليس     الولايات المتحدة لتأثيره في مجال تقنيات برمجة الحاسوب المتقدمة وبناء المحولات البرمجية. [11]
1967 موريس ويلكس     المملكة المتحدة اشتهر ويلكس بكونه منشئ ومصمم إدساك [الإنجليزية]، وهو أول حاسوب يحتوي على برنامج مخزن داخليًا. بني في عام 1949، استخدم إدساك ذاكرة خط تأخير الزئبق [الإنجليزية]. وهو معروف أيضًا بأنه مؤلف، مع ديفيد ويلر وستانلي جيل، لمجلد عن "إعداد البرامج للحواسيب الرقمية الإلكترونية" في عام 1951، حيث قدمت مكتبات البرامج بشكل فعال. [12]
1968 ريتشارد هامينغ[أ]     الولايات المتحدة لعمله في الأساليب العددية وأنظمة الترميز الآلي وكشف الأخطاء ورموز تصحيح الأخطاء. [13]
1969 مارفن مينسكي     الولايات المتحدة لدوره المركزي في إنشاء وتشكيل وتعزيز وتطوير مجال الذكاء الاصطناعي. [14]
1970 جيمس ويلكنسون     المملكة المتحدة لأبحاثه في التحليل العددي لتسهيل استخدام الحاسوب الرقمي عالي السرعة، فقد حصل على تقدير خاص لعمله في الحسابات في الجبر الخطي وتحليل الخطأ "الرجعي". [15]
1971 جون مكارثي     الولايات المتحدة لمحاضرة مكارثي بعنوان "الوضع الحالي لأبحاث الذكاء الاصطناعي" وهي عنوان موضوع يغطي المجال الذي حقق فيه تقديرًا كبيرًا لعمله. [16]
1972 أيدسكر دايكسترا     هولندا كان أيدسكر دايكسترا مساهمًا رئيسيًا في أواخر الخمسينيات من القرن الماضي في تطوير ألغول، وهي لغة برمجة عالية المستوى أصبحت نموذجًا للوضوح والدقة الرياضية. إنه أحد المؤيدين الرئيسيين لعلم وفن لغات البرمجة بشكل عام، وقد ساهم بشكل كبير في فهمنا لهيكلها وتمثيلها وتنفيذها. تمتد منشوراته التي استمرت خمسة عشر عامًا من المقالات النظرية حول نظرية الرسم البياني إلى الكتيبات الأساسية والنصوص التفسيرية والتأملات الفلسفية في مجال لغات البرمجة. [17]
1973 تشارلز باتشمان     الولايات المتحدة لمساهماته البارزة في تقانة قواعد البيانات. [18]
1974 دونالد كانوث     الولايات المتحدة لإسهاماته الكبيرة في تحليل الخوارزميات وتصميم لغات البرمجة، وعلى وجه الخصوص لإسهاماته في "فن برمجة الحاسوب" من خلال مؤلفاته المشهورة في سلسلة مستمرة بهذا العنوان. [19]
1975 ألن نيويل     الولايات المتحدة في إطار جهود علمية مشتركة تمتد لأكثر من عشرين عامًا، في البداية بالتعاون مع كليف شو في مؤسسة راند، وبعد ذلك مع العديد من أعضاء هيئة التدريس والزملاء الطلاب في جامعة كارنيغي ميلون، قدموا مساهمات أساسية في الذكاء الاصطناعي وعلم نفس الإدراك البشري وقائمة المعالجة. [20]
هيربرت سيمون     الولايات المتحدة
1976 مايكل رابين     إسرائيل عن ورقتهم المشتركة "محدودة أوتوماتا ومشكلة قرارها"،[21] التي قدمت فكرة الآلات غير القطعية، والتي أثبتت أنها مفهوم قيِّم للغاية. كانت ورقتهم البحثية الكلاسيكية (سكوت ورابين) مصدر إلهام مستمر للعمل اللاحق في هذا المجال. [22][23]
دانا سكوت     الولايات المتحدة
1977 جون باكوس     الولايات المتحدة للمساهمات العميقة والمؤثرة والدائمة في تصميم أنظمة البرمجة العملية عالية المستوى، لا سيما من خلال عمله على فورتران، وللنشر الأساسي للإجراءات الرسمية لمواصفات لغات البرمجة. [24]
1978 روبرت فلويد     الولايات المتحدة للحصول على تأثير واضح على منهجيات إنشاء برامج فعالة وموثوقة، وللمساعدة في إيجاد الحقول الفرعية المهمة التالية لعلوم الحاسوب: التحليل النحوي (التجزئة)، ودلالات لغات البرمجة، والتحقق التلقائي من البرنامج، والتوليف التلقائي للبرنامج، وتحليل الخوارزميات. [25]
1979 كينيث إيفرسون     كندا لجهوده الرائدة في لغات البرمجة والتدوين الرياضي مما أدى إلى ما يعرفه مجال الحوسبة الآن باسم إيه بي إل، لمساهماته في تنفيذ الأنظمة التفاعلية، والاستخدامات التعليمية لإيه بي إل، ونظرية لغة البرمجة وممارستها. [26]
1980 توني هور     المملكة المتحدة لمساهماته الأساسية في تعريف وتصميم لغات البرمجة. [27]
1981 إدجار كود     المملكة المتحدة لمساهماته الأساسية والمستمرة في نظرية وممارسة أنظمة إدارة قواعد البيانات، خاصة قواعد البيانات العلائقية. [28]
1982 ستيفن كوك     الولايات المتحدة
  كندا 		لمساهمته في فهمنا للتعقيد الحسابي بطريقة مهمة وعميقة. [29]
1983 كين تومسن     الولايات المتحدة لتطويرهم لنظرية أنظمة التشغيل العامة وعلى وجه التحديد لتنفيذ نظام التشغيل يونكس. [30][31]
دينيس ريتشي     الولايات المتحدة
1984 نيكلاوس ويرث     سويسرا لتطوير سلسلة من لغات الكمبيوتر المبتكرة، أويلر وألغول دبليو [الإنجليزية] وباسكال ومودولا وأوبيرون. [32]
1985 ريتشارد كارب     الولايات المتحدة لمساهماته المستمرة في نظرية الخوارزميات بما في ذلك تطوير خوارزميات فعالة لتدفق الشبكة وغيرها من مشاكل التحسين التجميعي، وتحديد قابلية الحوسبة متعددة الحدود مع الفكرة البديهية لكفاءة الخوارزميات، وعلى الأخص المساهمات في نظرية الاكتمال-NP. [33]
1986 جون هوبكروفت     الولايات المتحدة للإنجازات الأساسية في تصميم وتحليل الخوارزميات وهياكل البيانات. [34]
روبرت تارجان     الولايات المتحدة
1987 جون كوك     الولايات المتحدة للمساهمات الكبيرة في التصميم ونظرية المحول البرمجي، وبنية الأنظمة الكبيرة وتطوير حاسوب مجموعة التعليمات المخفضة (RISC). [35]
1988 إيفان سذرلاند     الولايات المتحدة لمساهماته الرائدة والمتبصرة في الرسم الحاسوبي، بدءًا من لوح الرسم [الإنجليزية]، واستمرت مساهماته بعد ذلك. [36]
1989 وليام كاهان     كندا لمساهماته الأساسية في التحليل العددي. أحد أبرز الخبراء في حسابات الفاصلة المتحركة. كرس كاهان نفسه لـ"جعل العالم آمنًا للحسابات الرقمية". [37]
1990 فرناندو كورباتو     الولايات المتحدة لعمله الرائد في تنظيم المفاهيم وقيادة تطوير أنظمة الحاسوب ذات الأغراض العامة والواسعة النطاق والمشاركة الزمنية وتقاسم الموارد، نظام تقاسم الوقت المتوافق [الإنجليزية] ومولتكس. [38]
1991 روبن ميلنر     المملكة المتحدة لثلاثة إنجازات متميزة وكاملة: 1) منطق الدوال القابلة للحساب [الإنجليزية]، ميكنة منطق سكوت للدوال الحسابية، ربما تكون أول أداة تستند إلى النظرية لكنها عَمَلية لبناء إثبات بمساعدة الآلة؛ 2) أم أل، اللغة الأولى التي تتضمن الاستدلال من النوع متعدد الأشكال جنبًا إلى جنب مع آلية التعامل مع الاستثناءات الآمنة؛ 3) حساب أنظمة الاتصال [الإنجليزية]، نظرية عامة عن التزامن. بالإضافة إلى ذلك، صاغ وقدم بقوة التجريد الكامل، ودراسة العلاقة بين الدلالات التشغيلية والدلالات. [39]
1992 بتلر لامبسون     الولايات المتحدة للمساهمات في تطوير بيئات الحوسبة الشخصية الموزعة والتقانة اللازمة لتنفيذها: محطات العمل والشبكات وأنظمة التشغيل وأنظمة البرمجة والشاشات والأمن ونشر المستندات. [40]
1993 جوريس هارتمانيس     لاتفيا تقديراً لورقتهم الأساسية التي أرست أسس مجال نظرية التعقيد الحسابي. [41]
ريتشارد ستيرنز     الولايات المتحدة
1994 إدوارد فيغنبوم     الولايات المتحدة لريادة تصميم وبناء أنظمة ذكاء اصطناعي واسعة النطاق، مما يدل على الأهمية العملية والتأثير التجاري المحتمل لتقانة الذكاء الاصطناعي. [42]
راج ريدي     الولايات المتحدة
1995 مانويل بلوم     فنزويلا تقديراً لمساهماته في أسس نظرية التعقيد الحسابي وتطبيقها في علم التعمية وفحص البرامج. [43]
1996 أمير بنولي     إسرائيل للعمل الأساسي لإدخال المنطق الزمني في علوم الحوسبة وللمساهمات البارزة في التحقق من البرامج والأنظمة. [44]
1997 دوغلاس إنجيلبارت     الولايات المتحدة للحصول على رؤية ملهمة لمستقبل الحوسبة التفاعلية واختراع التقنيات الرئيسية للمساعدة في تحقيق هذه الرؤية. [45]
1998 جيم غراي     الولايات المتحدة للمساهمات الأساسية في بحوث معالجة قواعد البيانات ومعالجة المعاملات والقيادة التقنية في تنفيذ النظام. [46]
1999 فريد بروكس     الولايات المتحدة للمساهمات البارزة في هندسة الحاسوب وأنظمة التشغيل وهندسة البرمجيات. [47]
2000 أندرو ياو     الصين تقديراً لمساهماته الأساسية في نظرية الحوسبة، بما في ذلك النظرية القائمة على التعقيد لتوليد الأرقام شبه العشوائية وعلم التعمية وتعقيد الاتصالات. [48]
2001 أولي يوهان دال     النرويج للأفكار الأساسية لظهور البرمجة الكائنية التوجه، من خلال تصميم لغتي البرمجة سيمولا I وسيمولا 67. [49]
كريستين نيغارد     النرويج
2002 رونالد ريفست     الولايات المتحدة لمساهمتهم البارعة في جعل تعمية المفتاح العام مفيدًا في الممارسة العملية. [50]
عدي شامير     إسرائيل
ليونارد أدليمان     الولايات المتحدة
2003 ألان كاي     الولايات المتحدة للريادة في العديد من الأفكار في جذور لغات البرمجة كائنية التوجه المعاصرة، وقيادة الفريق الذي طور سمول توك، وللمساهمات الأساسية في الحوسبة الشخصية. [51]
2004 فينت سيرف     الولايات المتحدة للريادة في العمل على التشبيك، بما في ذلك تصميم وتنفيذ بروتوكولات الاتصالات الأساسية للإنترنت، TCP/IP، والقيادة الملهمة في الشبكات. [52]
روبرت خان     الولايات المتحدة
2005 بيتر ناور     الدنمارك للمساهمات الأساسية في تصميم لغة البرمجة وتعريف ألغول 60، وتصميم المترجم، وفن وممارسة برمجة الحاسوب. [53]
2006 فرانسيس إليزابيث     الولايات المتحدة للمساهمات الرائدة في نظرية وممارسة تحسين تقنيات المحول البرمجي التي أرست الأساس لمجمعات التحسين الحديثة والتنفيذ المتوازي التلقائي. [10]
2007 إدموند كلارك     الولايات المتحدة لأدوارهم في تطوير التحقق من النموذج إلى تقنية تحقق عالية الفعالية، معتمدة على نطاق واسع في صناعات الأجهزة والبرامج. [54]
ألين إيمرسون     الولايات المتحدة
جوزيف سيفاكيس     اليونان
2008 باربارا لسكوف     الولايات المتحدة للمساهمات في الأسس العملية والنظرية للغة البرمجة وتصميم النظام، خاصة فيما يتعلق باستخراج البيانات، وتحمل الأخطاء، والحوسبة الموزعة. [55]
2009 تشارلز ثاكر     الولايات المتحدة لتصميمه الرائد وتحقيقه لزيروكس ألتو، أول حاسوب شخصي حديث، بالإضافة إلى مساهماته في الإيثرنت والحاسوب اللوحي. [56]
2010 ليزلي فالينت     المملكة المتحدة للمساهمات التحويلية في نظرية الحوسبة، بما في ذلك نظرية ربما التعلم الصحيح تقريبًا (PAC)، وتعقيد التعداد والحساب الجبري، ونظرية الحوسبة المتوازية والموزعة. [57]
2011 جوديا بيارل[58]     الولايات المتحدة للمساهمات الأساسية في الذكاء الاصطناعي من خلال تطوير حساب التفاضل والتكامل الاحتمالي والتفكير السببي. [59]
2012 سيلفيو ميكالي     إيطاليا للعمل التحويلي الذي وضع الأسس النظرية المعقدة لعلم التعمية وفي هذه العملية ابتكرت طرقًا جديدة للتحقق الفعال من البراهين الرياضية في نظرية التعقيد. [60]
شافريرا غولدفاسر     الولايات المتحدة
  إسرائيل
2013 ليسلي لامبورت     الولايات المتحدة للمساهمات الأساسية في نظرية وممارسة الأنظمة الموزعة والمتزامنة، ولا سيما اختراع مفاهيم مثل السببية والساعة المنطقية، والسلامة والحيوية، وآلات الحالة المكررة، والاتساق المتسلسل. [61][62]
2014 ميخائيل ستونبراكر     الولايات المتحدة للمساهمات الأساسية في المفاهيم والممارسات التي تقوم عليها أنظمة قواعد البيانات الحديثة. [63]
2015 ويتفيلد ديفي     الولايات المتحدة للمساهمات الأساسية في التعمية الحديثة. وتقديم ورقة ديفي وهيلمان الرائدة لعام 1976، "الاتجاهات الجديدة في التعمية،"[64] قدمت أفكار تشفير المفتاح العام والتوقيعات الرقمية، والتي تعد الأساس لبروتوكولات الأمان الأكثر استخدامًا على الإنترنت اليوم. [65]
مارتن هيلمان     الولايات المتحدة
2016 تيم بيرنرز لي     المملكة المتحدة لاختراع شبكة الويب العالمية، أول متصفح ويب، والبروتوكولات الأساسية والخوارزميات التي تسمح للويب بالتوسع. [66]
2017 جون هينيسي     الولايات المتحدة لريادة نهج منظم وكمي لتصميم وتقييم معماريات الحاسوب مع تأثير دائم على صناعة المعالجات الدقيقة. [67]
ديفيد باترسون     الولايات المتحدة
2018 يوشوا بنجيو     كندا للاختراقات المفاهيمية والهندسية التي جعلت الشبكات العصبية العميقة مكونًا مهمًا للحوسبة. [68]
جيوفري هينتون     المملكة المتحدة
  كندا
يان ليكون     الولايات المتحدة
  فرنسا
2019 إدوين كاتمول     الولايات المتحدة للمساهمات الأساسية في رسومات الحاسوب ثلاثية الأبعاد، والتأثير الثوري لهذه التقنيات على الصور المنشأة بالحاسوب (CGI) في صناعة الأفلام والتطبيقات الأخرى. [69]
بات هانراهان     الولايات المتحدة
2020 ألفرد أهو     كندا لعملهم على الخوارزميات الأساسية والنظرية الكامنة وراء تطبيق لغات البرمجة ولتجميع هذه النتائج والنتائج الخاصة بالآخرين في كتبهم شديدة التأثير، والتي قامت بتعليم أجيال من علماء الحاسوب. [70]
جيفري أولمان     الولايات المتحدة
2021 جاك دونغارا     الولايات المتحدة للمفاهيم والطرق الرائدة التي أدت إلى الحوسبة المتغيرة عالميًا، غذت خوارزميات وبرامج دونغارا نمو الحوسبة عالية الأداء وكان لها تأثيرات كبيرة في العديد من مجالات العلوم الحسابية من الذكاء الاصطناعي إلى رسومات الحاسوب. [71]
2022 روبرت ميتكالف     الولايات المتحدة لاختراع الإيثرنت ومعايرتها وتسويقها. [72]
2023 آفي ويغرسون     إسرائيل لإعادة تشكيل فهمنا لدور العشوائية في الحوسبة، ولعقود من القيادة الفكرية في علوم الحاسوب النظرية. [73]

انظر أيضًا

عدل
 
في كومنز صور وملفات عن Turing Award.

ملاحظات

عدل
أ. 1 توجد أيضا جائزة تُدعى وسام ريتشارد هامينغ (بالإنجليزية: IEEE Richard W. Hamming Medal)‏ للمساهمات الرائدة في مجالات علم المعلومات ونظم المعلومات وتقنية المعلومات،[74] وسميت بوسام ريتشارد هامينغ تقديرا لمساهماته الكبيرة في مجال علم الحاسوب والاتصال عن بعد.[75]

المراجع

عدل
  1. ^ ا ب Cacm Staff (2014). "ACM's Turing Award prize raised to $1 million". Communications of the ACM. ج. 57 ع. 12: 20. DOI:10.1145/2685372.
  2. ^ ا ب "A. M. Turing Award". ACM. مؤرشف من الأصل في 2009-12-12. اطلع عليه بتاريخ 2007-11-05.
  3. ^ Dasgupta، Sanjoy؛ Papadimitriou، Christos؛ Vazirani، Umesh (2008). Algorithms. ماكجرو هيل التعليم. ص. 317. ISBN:978-0-07-352340-8. مؤرشف من الأصل في 2020-08-17.
  4. ^ Bibliography of Turing Award lectures, الببليوغرافيا الرقمية ومشروع المكتبة نسخة محفوظة 2 يناير 2015 على موقع واي باك مشين.
  5. ^ Geringer، Steven (27 يوليو 2007). "ACM'S Turing Award Prize Raised To $250,000". ACM press release. مؤرشف من الأصل في 2008-12-30. اطلع عليه بتاريخ 2008-10-16.
  6. ^ See also: Brown, Bob (6 يونيو 2011). "Why there's no Nobel Prize in Computing". Network World. مؤرشف من الأصل في 2016-10-22. اطلع عليه بتاريخ 2015-06-03. {{استشهاد ويب}}: |مؤلف= باسم عام (مساعدة) وروابط خارجية في |مؤلف= (مساعدة)
  7. ^ Homer, Steven and Alan L. (2001). Computability and Complexity Theory. ص. 35. ISBN:978-0-387-95055-6. مؤرشف من الأصل في 2016-08-06. اطلع عليه بتاريخ 2007-11-05.
  8. ^ "ACM's Turing Award Prize Raised to $1 Million". ACM. مؤرشف من الأصل في 2015-11-23. اطلع عليه بتاريخ 2014-11-13.
  9. ^ Turing Award, computer science award from Britannica نسخة محفوظة 28 سبتمبر 2021 على موقع واي باك مشين.
  10. ^ ا ب "First Woman to Receive ACM Turing Award" (Press release). The Association for Computing Machinery. 21 فبراير 2007. مؤرشف من الأصل في 2007-07-02. اطلع عليه بتاريخ 2007-11-05.
  11. ^ Perlis، A. J. (1967). "The Synthesis of Algorithmic Systems". Journal of the ACM. ج. 14: 1–9. DOI:10.1145/321371.321372. S2CID:12937998.
  12. ^ Wilkes، M. V. (1968). "Computers then and Now". Journal of the ACM. ج. 15: 1–7. DOI:10.1145/321439.321440. S2CID:9846847.
  13. ^ Hamming، R. W. (1969). "One Man's View of Computer Science". Journal of the ACM. ج. 16: 3–12. DOI:10.1145/321495.321497. S2CID:6868310.
  14. ^ Minsky، M. (1970). "Form and Content in Computer Science (1970 ACM turing lecture)". Journal of the ACM. ج. 17 ع. 2: 197–215. DOI:10.1145/321574.321575. S2CID:15661281.
  15. ^ Wilkinson، J. H. (1971). "Some Comments from a Numerical Analyst". Journal of the ACM. ج. 18 ع. 2: 137–147. DOI:10.1145/321637.321638. S2CID:37748083.
  16. ^ McCarthy، J. (1987). "Generality in artificial intelligence". Communications of the ACM. ج. 30 ع. 12: 1030–1035. DOI:10.1145/33447.33448. S2CID:1045033. مؤرشف من الأصل في 2020-08-09.
  17. ^ Dijkstra، E. W. (1972). "The humble programmer". Communications of the ACM. ج. 15 ع. 10: 859–866. DOI:10.1145/355604.361591.
  18. ^ Bachman، C. W. (1973). "The programmer as navigator". Communications of the ACM. ج. 16 ع. 11: 653–658. DOI:10.1145/355611.362534.
  19. ^ Knuth، D. E. (1974). "Computer programming as an art". Communications of the ACM. ج. 17 ع. 12: 667–673. DOI:10.1145/361604.361612.
  20. ^ 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.
  21. ^ Rabin، M. O.؛ Scott، D. (1959). "Finite Automata and Their Decision Problems". IBM Journal of Research and Development. ج. 3 ع. 2: 114. DOI:10.1147/rd.32.0114. S2CID:3160330. مؤرشف من الأصل في 2021-10-20.
  22. ^ Rabin، M. O. (1977). "Complexity of computations". Communications of the ACM. ج. 20 ع. 9: 625–633. DOI:10.1145/359810.359816.
  23. ^ Scott، D. S. (1977). "Logic and programming languages". Communications of the ACM. ج. 20 ع. 9: 634–641. DOI:10.1145/359810.359826.
  24. ^ 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–641. DOI:10.1145/359576.359579.
  25. ^ Floyd، R. W. (1979). "The paradigms of programming". Communications of the ACM. ج. 22 ع. 8: 455–460. DOI:10.1145/359138.359140. مؤرشف من الأصل في 2021-10-21.
  26. ^ Iverson، K. E. (1980). "Notation as a tool of thought". Communications of the ACM. ج. 23 ع. 8: 444–465. DOI:10.1145/358896.358899.
  27. ^ Hoare، C. A. R. (1981). "The emperor's old clothes". Communications of the ACM. ج. 24 ع. 2: 75–83. DOI:10.1145/358549.358561.
  28. ^ Codd، E. F. (1982). "Relational database: A practical foundation for productivity". Communications of the ACM. ج. 25 ع. 2: 109–117. DOI:10.1145/358396.358400.
  29. ^ Cook، S. A. (1983). "An overview of computational complexity". Communications of the ACM. ج. 26 ع. 6: 400–408. DOI:10.1145/358141.358144.
  30. ^ "A.M. Turing Award Laureate - Kenneth Lane Thompson". amturing.acm.org. مؤرشف من الأصل في 2021-10-20. اطلع عليه بتاريخ 2018-11-04.
  31. ^ "A.M. Turing Award Laureate - Dennis M. Ritchie". amturing.acm.org. مؤرشف من الأصل في 2021-10-20. اطلع عليه بتاريخ 2018-11-04.
  32. ^ Turing Award Lecture, 1984 نسخة محفوظة 2021-07-13 على موقع واي باك مشين.
  33. ^ RICHARD ("DICK") MANNING KARP, United States – 1985 نسخة محفوظة 2021-10-27 على موقع واي باك مشين.
  34. ^ JOHN E HOPCROFT, United States – 1986 نسخة محفوظة 2021-10-27 على موقع واي باك مشين.
  35. ^ JOHN COCKE, United States – 1987 نسخة محفوظة 2021-10-29 على موقع واي باك مشين.
  36. ^ IVAN SUTHERLAND, United States – 1988 نسخة محفوظة 2021-10-29 على موقع واي باك مشين.
  37. ^ WILLIAM (“VELVEL”) MORTON KAHAN, United States – 1989 نسخة محفوظة 2021-10-29 على موقع واي باك مشين.
  38. ^ FERNANDO J ("CORBY") CORBATO, United States – 1990 نسخة محفوظة 2021-10-29 على موقع واي باك مشين.
  39. ^ Milner، R. (1993). "Elements of interaction: Turing award lecture". Communications of the ACM. ج. 36: 78–89. DOI:10.1145/151233.151240.
  40. ^ BUTLER W LAMPSON, United States – 1992 نسخة محفوظة 2021-10-29 على موقع واي باك مشين.
  41. ^ Stearns، R. E. (1994). "Turing Award lecture: It's time to reconsider time". Communications of the ACM. ج. 37 ع. 11: 95–99. DOI:10.1145/188280.188379.
  42. ^ Reddy، R. (1996). "To dream the possible dream". Communications of the ACM. ج. 39 ع. 5: 105–112. DOI:10.1145/229459.233436.
  43. ^ "A.M. Turing Award Laureate - Manuel Blum". amturing.acm.org. مؤرشف من الأصل في 2021-10-23. اطلع عليه بتاريخ 2018-11-04.
  44. ^ "A.M. Turing Award Laureate - Amir Pnueli". amturing.acm.org. مؤرشف من الأصل في 2021-10-20. اطلع عليه بتاريخ 2018-11-04.
  45. ^ "A.M. Turing Award Laureate - Douglas Engelbart". amturing.acm.org. مؤرشف من الأصل في 2021-10-20. اطلع عليه بتاريخ 2018-11-04.
  46. ^ JAMES ("JIM") NICHOLAS GRAY, United States – 1998 نسخة محفوظة 2021-10-29 على موقع واي باك مشين.
  47. ^ FREDERICK ("FRED") BROOKS, United States – 1999 نسخة محفوظة 2021-10-29 على موقع واي باك مشين.
  48. ^ ANDREW CHI-CHIH YAO, China – 2000 نسخة محفوظة 2021-10-06 على موقع واي باك مشين.
  49. ^ OLE-JOHAN DAHL, Norway – 2001 نسخة محفوظة 2021-10-12 على موقع واي باك مشين.
  50. ^ RONALD (RON) LINN RIVEST, United States – 2002 نسخة محفوظة 2021-10-11 على موقع واي باك مشين.
  51. ^ ALAN KAY, United States – 2003 نسخة محفوظة 11 أكتوبر 2021 على موقع واي باك مشين.
  52. ^ VINTON (“VINT”) GRAY CERF, United States – 2004 نسخة محفوظة 2021-10-11 على موقع واي باك مشين.
  53. ^ PETER NAUR, Denmark – 2005 نسخة محفوظة 2021-10-25 على موقع واي باك مشين.
  54. ^ 2007 Turing Award Winners Announced نسخة محفوظة 2009-11-02 على موقع واي باك مشين.
  55. ^ BARBARA LISKOV, United States – 2008 نسخة محفوظة 2021-11-09 على موقع واي باك مشين.
  56. ^ CHARLES P. (CHUCK) THACKER, United States – 2009 نسخة محفوظة 10 أكتوبر 2021 على موقع واي باك مشين.
  57. ^ LESLIE GABRIEL VALIANT, United States – 2010 نسخة محفوظة 2021-11-17 على موقع واي باك مشين.
  58. ^ Pearl، Judea (2011). The Mechanization of Causal Inference: A "mini" Turing Test and Beyond. DOI:10.1145/1283920. ISBN:978-1-4503-1049-9. مؤرشف من الأصل (mp4) في 2020-10-21. {{استشهاد بكتاب}}: |صحيفة= تُجوهل (مساعدة)
  59. ^ "Judea Pearl". ACM. مؤرشف من الأصل في 2021-10-16.
  60. ^ "Turing award 2012". ACM. مؤرشف من الأصل في 2013-03-18.
  61. ^ "Turing award 2013". ACM. مؤرشف من الأصل في 2021-10-20.
  62. ^ Lamport، L. (1978). "Time, clocks, and the ordering of events in a distributed system" (PDF). Communications of the ACM. ج. 21 ع. 7: 558–565. CiteSeerX:10.1.1.155.4742. DOI:10.1145/359545.359563. S2CID:215822405. مؤرشف من الأصل (PDF) في 2008-10-31.
  63. ^ "Turing award 2014". ACM. مؤرشف من الأصل في 2021-10-11.
  64. ^ Diffie، W.؛ Hellman، M. (1976). "New directions in cryptography" (PDF). IEEE Transactions on Information Theory. ج. 22 ع. 6: 644–654. CiteSeerX:10.1.1.37.9720. DOI:10.1109/TIT.1976.1055638. مؤرشف من الأصل (PDF) في 2017-12-03.
  65. ^ "Cryptography Pioneers Receive 2015 ACM A.M. Turing Award". ACM. مؤرشف من الأصل في 2021-10-10.
  66. ^ "Turing award 2016". ACM. مؤرشف من الأصل في 2021-10-11.
  67. ^ "Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award". ACM. مؤرشف من الأصل في 2021-10-20.
  68. ^ Fathers of the Deep Learning Revolution Receive ACM A.M. Turing Award نسخة محفوظة 2021-10-06 على موقع واي باك مشين.
  69. ^ 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. نسخة محفوظة 2021-10-29 على موقع واي باك مشين.
  70. ^ ACM Turing Award Honors Innovators Who Shaped the Foundations of Programming Language Compilers and Algorithms. Retrieved March 31, 2021. نسخة محفوظة 2021-10-07 على موقع واي باك مشين.
  71. ^ "Open Graph Title: University of Tennessee's Jack Dongarra receives 2021 ACM A.M. Turing Award". awards.acm.org (بالإنجليزية). Archived from the original on 2022-03-30. Retrieved 2022-03-30.
  72. ^ "A.M. Turing Award". amturing.acm.org (بالإنجليزية). Archived from the original on 2023-03-22. Retrieved 2023-03-22.
  73. ^ "Avi Wigderson of the Institute for Advanced Study is the recipient of the 2023 ACM A.M. Turing Award". awards.acm.org (بالإنجليزية). Archived from the original on 2024-04-10. Retrieved 2024-04-10.
  74. ^ "IEEE Richard W. Hamming Medal". معهد مهندسي الكهرباء والإلكترونيات. مؤرشف من الأصل في 2021-10-17. اطلع عليه بتاريخ 2011-05-29.
  75. ^ L. M. Fisher (11 يناير 1998). "Richard Hamming, 82, Dies; Pioneer in Digital Technology". The New York Times. مؤرشف من الأصل في 2017-08-12. اطلع عليه بتاريخ 2011-5-29.

وصلات خارجية

عدل
مجلوبة من «https://ar.wikipedia.org/w/index.php?title=قائمة_الحاصلين_على_جائزة_تورنغ&oldid=67369872»