פרס טיורינג

פרס טיורינגאנגלית: ACM A.M. Turing Award) הוא פרס בין־לאומי בתחום מדעי המחשב. הוא ניתן על ידי ה־ACM, האגודה למכונות מחשוב, בגין הישג יוצא דופן בתחום מדעי המחשב. בתחום זה שקול הפרס מבחינת יוקרתו לפרס נובל, אשר אינו מוענק בתחומי המתמטיקה ומדעי המחשב. (הפרס המקביל בתחום המתמטיקה הוא מדליית פילדס). הפרס קרוי על שמו של אלן טיורינג, מתמטיקאי בריטי שנחשב לאבי מדעי המחשב התאורטיים והבינה המלאכותית.

פרס טיורינג
ACM A. M. Turing Award
גביע פרס טיורינג
גביע פרס טיורינג
תיאור פרס בינלאומי בתחום מדעי המחשב
מדינה ארצות הברית עריכת הנתון בוויקינתונים
הגוף המעניק ACM עריכת הנתון בוויקינתונים
תאריך התחלה 1966 עריכת הנתון בוויקינתונים
נקרא על שם אלן טיורינג עריכת הנתון בוויקינתונים
amturing.acm.org
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית OOjs UI icon info big.svg

הפרס ניתן מדי שנה, החל משנת 1966. משנת 2007 חולק לזוכים פרס כספי של 250,000 דולר שמומן על ידי החברות אינטל וגוגל. החל משנת 2014, גובה הפרס הוא מיליון דולר, במימון חברת גוגל. בארבעים שנותיו הראשונות נמנו רק גברים עם מקבלי הפרס. בשנת 2006 ניתן הפרס לראשונה לאישה - פרנסס אלן, על תרומתה בתחום המהדרים ומיטוב הקוד שהם יוצרים.

התפלגות הזוכים בפרס לפי מדינותעריכה

התפלגות הזוכים בפרס לפי מדינות (נכון לשנת 2017) היא:

נכון לשנת 2014, שבעה עשר מתוך 62 הזוכים הם ממוצא יהודי (27.4%), בהם חמישה ישראלים:

זוכי הפרסעריכה

שנה שמות הזוכים הסיבה לזכייה
1966 ארצות הברית אלן פרליס על השפעתו בתחום שיטות תכנות מתקדמות ובניית מהדרים (קומפיילרים).
1967 בריטניה מוריס וינסנט וילקס וילקס ידוע בעיקר כבנאי ומעצב EDSAC, המחשב הראשון עם תוכנית המאוחסנת באופן פנימי. נבנה בשנת 1949, EDSAC השתמש בזיכרון קו עיכוב כספית. הוא ידוע גם כמחבר, עם וילר וגיל, את הכרך בנושא "הכנת תוכניות למחשבים דיגיטליים אלקטרוניים" בשנת 1951, בו הוצגו למעשה ספריות תוכניות.
1968 ארצות הברית  ריצ'רד המינג על עבודתו בשיטות נומריות, ונושאי גילוי ותיקון שגיאות בתורת הקודים.
1969 ארצות הברית  מרווין מינסקי בינה מלאכותית.
1970 בריטניה  ג'יימס וילקנסון על מחקרו באנליזה מספרית כדי להקל על השימוש במחשב הדיגיטלי המהיר, לאחר שקיבל הכרה מיוחדת על עבודתו בחישובים באלגברה ליניארית וניתוח שגיאות "אחורה".
1971 ארצות הברית  ג'ון מקארתי הרצאתו של מקארתי "המצב הנוכחי של מחקר בנושא בינה מלאכותית" היא נושא המכסה את התחום בו הוא זכה להכרה ניכרת בעבודתו.
1972 הולנד  אדסחר דייקסטרה על תרומתו לפיתוח ALGOL ותרומתו הכללית לאומנות התכנות ושפות תכנות. תרומותיו לאורך השנים חובקות תחומים רבים החל מתורת הגרפים וכלה במדריכים, מאמרים והגיגים בתחום שפות התכנות.
1973 ארצות הברית  צ'ארלס באקמן על תרומותיו יוצאות הדופן לטכנולוגיית מסדי הנתונים.
1974 ארצות הברית  דונלד קנות' על תרומתו העיקרית לניתוח אלגוריתמים ולעיצוב שפות תכנות, ובמיוחד על תרומתו ל"אמנות תכנות מחשבים "באמצעות ספריו הידועים בסדרה רציפה בשם זה
1975 ארצות הברית  אלן ניוול
ארצות הברית  הרברט סיימון
במאמצים מדעיים משותפים המשתרעים על פני עשרים שנה, בתחילה בשיתוף פעולה עם JC שו בתאגיד RAND, ובהמשך עם קולגות רבים בפקולטה וסטודנטים באוניברסיטת קרנגי מלון, הם תרמו תרומות בסיסיות לבינה מלאכותית, לפסיכולוגיה של ההכרה האנושית ולמעבד רשימה.
1976 ישראל  מיכאל רבין
ארצות הברית  דנה סקוט
על הגדרת אוטומט סופי לא דטרמיניסטי ורעיון האי-דטרמיניזם.
1977 ארצות הברית  ג'ון באקוס לתרומות עמוקות, משפיעות ומתמשכות לתכנון מערכות תכנות מעשיות ברמה גבוהה, בעיקר באמצעות עבודתו ב- FORTRAN, ולפרסום מכונן של הליכים פורמליים למפרט שפות תכנות.
1978 ארצות הברית  רוברט פלויד על השפעה ברורה על מתודולוגיות ליצירת תוכנה יעילה ואמינה ועל סיוע במציאת תחומי המשנה החשובים הבאים של מדעי המחשב: תורת הניתוח, סמנטיקה של שפות תכנות, אימות תוכניות אוטומטי, סינתזת תוכניות אוטומטית וניתוח. של אלגוריתמים
1979 קנדה  קנת אייברסון על מאמציו החלוציים בשפות תכנות וסימונים מתמטיים שהביאו למה שידוע כיום בתחום המחשוב כ- APL, על תרומתו ליישום מערכות אינטראקטיביות, לשימושים חינוכיים ב- APL ולתיאוריה ולפרקטיקה של שפות התכנות.
1980 בריטניה  טוני הואר על תרומתו הבסיסית להגדרה ולעיצוב של שפות תכנות
1981 בריטניה  אדגר קוד על תרומתו הבסיסית והמתמשכת לתיאוריה ולפרקטיקה של מערכות ניהול מסדי נתונים, במיוחד מאגרי מידע יחסיים
1982 ארצות הברית  קנדה  סטיבן קוק לקידום הבנתנו את מורכבות החישוב בצורה משמעותית ועמוקה
1983 ארצות הברית  קן תומפסון
ארצות הברית  דניס ריצ'י
לפיתוח תאוריית מערכות ההפעלה הגנריות ובמיוחד ליישום מערכת ההפעלה UNIX
1984 שווייץ  ניקלאוס וירת לפיתוח רצף של שפות מחשב חדשניות, EULER, ALGOL-W, MODULA ו- Pascal
1985 ארצות הברית  ריצ'רד קארפ על תרומתו המתמשכת לתורת האלגוריתמים כולל פיתוח אלגוריתמים יעילים לזרימת רשת ובעיות אופטימיזציה קומבינטוריות אחרות, זיהוי חישוב זמן פולינומי עם התפיסה האינטואיטיבית של יעילות אלגוריתמית, ובעיקר תרומות לתיאוריה של NP. -שְׁלֵמוּת
1986 ארצות הברית  ג'ון הופקרופט
ארצות הברית  רוברט טרג'אן
על הישגים מהותיים בעיצוב וניתוח אלגוריתמים ומבני נתונים.
1987 ארצות הברית  ג'ון קוק לתרומות משמעותיות בתכנון ותיאוריה של מהדרים, בארכיטקטורה של מערכות גדולות ובפיתוח מחשבי מערכי הוראה מופחתים (RISC).
1988 ארצות הברית  איוון סאת'רלנד על תרומתו החלוצית והחזונית לגרפיקה ממוחשבת, החל מ- Sketchpad, והמשיך לאחר מכן
1989 קנדה  וילאם קאהן על תרומתו הבסיסית לניתוח מספרי. אחד המומחים המובילים לחישובי נקודות צפות. כהן הקדיש את עצמו ל"הבטחת העולם לחישובים מספריים".
1990 ארצות הברית  פרננדו קורבטו על עבודתו החלוצית בארגון המושגים והובלת פיתוח מערכות המחשב הכלליות, בקנה מידה גדול, חלוקת זמן ושיתוף משאבים, CTSS ו- Multics
1991 בריטניה  רובין מילנר לשלושה הישגים ברורים ומלאים: 1) LCF, מיכון לוגיקת הפונקציות המחושבות של סקוט, ככל הנראה הכלי הראשון המבוסס תאורטית אך מעשי לבניית הוכחה בעזרת מכונה; 2) ML, השפה הראשונה שכללה הסקת סוג פולימורפי יחד עם מנגנון טיפול בחריגות; 3) CCS, תיאוריה כללית של מקבילות. בנוסף, הוא גיבש וקידם בצורה מופשטת הפשטה מלאה, את חקר הקשר בין סמנטיקה אופרטיבית לדנוטציה
1992 ארצות הברית  באטלר לאמפסון לתרומות לפיתוח סביבות מחשוב מבוזרות ואישיות וטכנולוגיה ליישומן: תחנות עבודה, רשתות, מערכות הפעלה, מערכות תכנות, תצוגות, אבטחה ופרסום מסמכים
1993 לטביה ארצות הברית  יוריס הארטמאניס
ארצות הברית  ריצ'רד סטרנס
כהוקרה על מאמרם המכונן אשר ביסס את היסודות לתחום תורת המורכבות החישובית
1994 ארצות הברית  אדוארד פייגנבאום
הודו  ארצות הברית  ראג' רדי
לחלוציות בתכנון ובניית מערכות בינה מלאכותית בקנה מידה גדול, והדגימה את החשיבות המעשית וההשפעה המסחרית הפוטנציאלית של טכנולוגיית הבינה המלאכותית
1995 ונצואלה  מנואל בלום בהוקרה על תרומתו ליסודות תורת הסיבוכיות החישובית ויישומהּ בקריפטוגרפיה ואימות תוכנה.
1996 ישראל אמיר פנואלי על הכנסת לוגיקת זמן (לוגיקה טמפורלית) לתחום מדעי המחשב.
1997 ארצות הברית  דאגלס אנגלברט לחזון מעורר השראה לעתיד המחשוב האינטראקטיבי ולהמצאת טכנולוגיות מפתח המסייעות למימוש חזון זה
1998 ארצות הברית  ג'ים גריי לתרומות מכרעות למחקרי עיבוד בסיסי נתונים ועסקאות ומנהיגות טכנית ביישום המערכת
1999 ארצות הברית  פרד ברוקס לתרומות בעלות ציון דרך לארכיטקטורת מחשבים, מערכות הפעלה והנדסת תוכנה
2000 ארצות הברית  אנדרו יאו בהוקרה על תרומתו היסודית בתאוריית החישוביות, לרבות תאוריות מבוססות-סיבוכיות של יצירת מספרים פסבדו-אקראיים, קריפטוגרפיה וסיבוכיות תקשורת.
2001 נורווגיה  אולה יוהאן דאל
נורווגיה  קריסטין נייגארד
לרעיונות בסיסיים להופעת תכנות מונחה עצמים, באמצעות תכנון שפות התכנות סימולה I וסימולה 67
2002 ארצות הברית  רונלד ריבסט
ישראל  עדי שמיר
ארצות הברית  לאונרד אדלמן
על תרומה מקורית בהפיכת הצפנה אסימטרית לבת-קיימא (RSA).
2003 ארצות הברית  אלן קיי על תרומתו למיחשוב אישי, תכנות מונחה-עצמים ופיתוח שפת התכנות Smalltalk.
2004 ארצות הברית  וינט סרף
ארצות הברית בוב קאהן

על עבודה חלוצית בתחום רשתות תקשורת, לרבות תיכון ומימוש הפרוטוקולים הבסיסים של רשת האינטרנט ופרוטוקול TCP/IP.

2005 דנמרק  פטר נאור על פיתוח שפת התכנות ALGOL 60.
2006 ארצות הברית  פרנסס אלן על תרומה חלוצית בתחום המהדרים, וביצוע אופטימיזציה בשלב ההידור, אשר הניחה את היסודות למהדרים מודרניים וחישוב מקבילי אוטומטי.
2007 ארצות הברית  אדמונד קלארק
ארצות הברית אלן אמרסון
יוון צרפת ז'וסף סיפאקיס
על פיתוח שיטת בדיקות מודל בטכנולוגיית אימות יעילה ביותר בה נעשה שימוש רב בעולם עיצוב התוכנה והחומרה.
2008 ארצות הברית  ברברה ליסקוב על תרומתה לתחום התכנות ועיצוב תוכנה, תאורטי ופרקטי, בעיקר בנושאי אבסטרקציה של מידע, עמידות לשגיאות וחישוב מבוזר.
2009 ארצות הברית  צ'ארלס פ. ת'אקר (Charles P. Thacker) על תרומתו לפיתוח המחשב האישי המודרני הראשון ועל תרומתו ל-Ethernet ולמחשב הלוח.
2010 בריטניה  לסלי וליאנט על תרומתו לפיתוח תחום הלמידה החישובית, והגדרת למידת PAC.
2011 ישראל ארצות הברית  יהודה פרל על תרומה יסודית לחקר בינה מלאכותית באמצעות פיתוח תחשיב להסקה סיבתית והסתברותית.
2012 ישראל ארצות הברית  שפי גולדווסר
איטליה ארצות הברית  סילביו מיקאלי
על תרומה יסודית לביסוס הסיבוכיות התאורטית של הצפנה ופיתוח שיטות יעילות לאימות הוכחות מתמטיות בתורת הסיבוכיות.
2013 ארצות הברית  לזלי למפורט על תרומתו היסודית לתאוריה ולפרקטיקה של תחום החישוב המבוזר והמקבילי, הגדרת רעיונות כגון שעוני סיבתיות, שעונים לוגיים, בטיחות וחיוּת, מכונות מצבים משוכפלות ועקביות סדרתית[1].
2014 ארצות הברית  מייקל סטונברייקר על תרומות מהותיות למושגים ושיטות עבודה העומדות בבסיס מערכות מסדי נתונים מודרניים.
2015 ארצות הברית  ויטפילד דיפי
ארצות הברית  מרטין הלמן
על תרומתם בתחומי מפתח ציבורי וחתימה דיגיטלית.
2016 הממלכה המאוחדת  טים ברנרס-לי על המצאת ה־World Wide Web, הדפדפן הראשון, והאלגוריתמים והפרוטוקולים היסודיים המאפשרים לרשת להתפתח[2].
2017 ארצות הברית  ג'ון הנסי
ארצות הברית  דייוויד פטרסון
על הגישה הכמותית להערכה ותכנון של ארכיטקטורת מחשבים והשפעתה על תעשיית המיקרופרוססורים.
2018 קנדה  יהושע בנג'יו

קנדה  ג'פרי הינטון צרפת  יאן לקון

לפריצות דרך רעיוניות והנדסיות שהפכו רשתות עצביות עמוקות למרכיב קריטי במחשוב
2019 ארצות הברית  אדווין קטמול
ארצות הברית  פט הנרהן
לתרומות יסודיות לגרפיקה ממוחשבת תלת־ממדית ולהשפעה המהפכנית של טכניקות אלה על הדמיות ממוחשבות (CGI) בהפקת סרטים ויישומים אחרים.
2020 ארצות הברית  אל אהו
ארצות הברית  ג'פרי אולמן
לאלגוריתמים ותיאוריה בסיסיים העומדים בבסיס יישום שפת התכנות ולסינתזת תוצאות אלו ושל אחרים בספריהם המשפיעים ביותר, שחינכו דורות של מדעני מחשבים.

ראו גםעריכה

קישורים חיצונייםעריכה

  מדיה וקבצים בנושא פרס טיורינג בוויקישיתוף

הערות שולייםעריכה