פרס טיורינג

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש
גביע פרס טיורינג

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

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

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

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

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

זוכי הפרס[עריכת קוד מקור | עריכה]

שנה שמות הזוכים הסיבה לזכייה
1966 ארצות הבריתארצות הברית אלן פרליס על השפעתו בתחום שיטות תכנות מתקדמות ובניית מהדרים (קומפיילרים)
1967 בריטניהבריטניה מוריס וינסנט וילקס
1968 ארצות הבריתארצות הברית ריצ'רד המינג על עבודתו בשיטות נומריות, ונושאי גילוי ותיקון שגיאות בתורת הקודים
1969 ארצות הבריתארצות הברית מרווין מינסקי בינה מלאכותית
1970 בריטניהבריטניה ג'יימס וילקנסון
1971 ארצות הבריתארצות הברית ג'ון מקארתי
1972 הולנדהולנד אדסחר דייקסטרה על תרומתו לפיתוח ALGOL ותרומתו הכללית לאומנות התכנות ושפות תכנות. תרומותיו לאורך השנים חובקות תחומים רבים החל מתורת הגרפים וכלה במדריכים, מאמרים והגיגים בתחום שפות התכנות.
1973 ארצות הבריתארצות הברית צ'ארלס באקמן על תרומותיו יוצאות הדופן לטכנולוגיית מסדי הנתונים
1974 ארצות הבריתארצות הברית דונלד קנות'
1975 ארצות הבריתארצות הברית אלן ניוול
ארצות הבריתארצות הברית הרברט סיימון
1976 ישראלישראל מיכאל רבין
ארצות הבריתארצות הברית דנה סקוט
על הגדרת אוטומט סופי לא דטרמיניסטי ורעיון האי-דטרמיניזם
1977 ארצות הבריתארצות הברית ג'ון באקוס
1978 ארצות הבריתארצות הברית רוברט פלויד
1979 קנדהקנדה קנת אייברסון
1980 בריטניהבריטניה טוני הורה
1981 בריטניהבריטניה אדגר קוד
1982 ארצות הבריתארצות הברית קנדהקנדה סטיבן קוק
1983 ארצות הבריתארצות הברית קן תומפסון
ארצות הבריתארצות הברית דניס ריצ'י
1984 שווייץשווייץ ניקלאוס וירת
1985 ארצות הבריתארצות הברית ריצ'רד קארפ
1986 ארצות הבריתארצות הברית ג'ון הופקרופט
ארצות הבריתארצות הברית רוברט טרג'אן
על הישגים מהותיים בעיצוב וניתוח אלגוריתמים ומבני נתונים
1987 ארצות הבריתארצות הברית ג'ון קוק
1988 ארצות הבריתארצות הברית איוואן סדארלנד
1989 קנדהקנדה וילאם קאהן
1990 ארצות הבריתארצות הברית פרננדו קורבטו
1991 בריטניהבריטניה רובין מילנר
1992 ארצות הבריתארצות הברית באטלר לאמפסון
1993 לטביהלטביה ארצות הבריתארצות הברית יוריס הארטמאניס
ארצות הבריתארצות הברית ריצ'רד סטרנס
1994 ארצות הבריתארצות הברית אדוארד פייגנבאום
הודוהודו ארצות הבריתארצות הברית ראג' רדי
1995 ונצואלהונצואלה מנואל בלום בהוקרה על תרומתו ליסודות תורת הסיבוכיות החישובית ויישומהּ בקריפטוגרפיה ואימות תוכנה
1996 ישראלישראל אמיר פנואלי על הכנסת לוגיקת זמן (לוגיקה טמפורלית) לתחום מדעי המחשב.
1997 ארצות הבריתארצות הברית דאגלס אנגלברט
1998 ארצות הבריתארצות הברית ג'ים גריי
1999 ארצות הבריתארצות הברית פרד ברוקס
2000 ארצות הבריתארצות הברית אנדרו יאו בהוקרה על תרומתו היסודית בתאוריית החישוביות, לרבות תאוריות מבוססות-סיבוכיות של יצירת מספרים פסבדו-אקראיים, קריפטוגרפיה וסיבוכיות תקשורת.
2001 נורווגיהנורווגיה אולה יוהאן דאל
נורווגיהנורווגיה קריסטין נייגארד
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 ארצות הבריתארצות הברית ויטפילד דיפי
ארצות הבריתארצות הברית מרטין הלמן
על תרומתם בתחומי מפתח ציבורי וחתימה דיגיטלית

ראו גם[עריכת קוד מקור | עריכה]

קישורים חיצוניים[עריכת קוד מקור | עריכה]

הערות שוליים[עריכת קוד מקור | עריכה]