הצגת המקור של הדף "פרס טיורינג"

{{פרס|תיאור=[[פרס (זכייה)|פרס]] בינלאומי בתחום [[מדעי המחשב]]|תמונה=[[קובץ:ACM_turing_award.jpg|250px]]|כיתוב=גביע פרס טיורינג}}

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

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

== התפלגות הזוכים בפרס לפי מדינות ==
התפלגות הזוכים בפרס לפי מדינות (נכון לשנת 2017) היא:
* {{דגל|ארצות הברית||+}} - 48 זוכים
* {{דגל|בריטניה||+}} - 7 זוכים
* {{דגל|ישראל||+}} - 6 זוכים
* {{דגל|קנדה||+}} - שלושה זוכים
* {{דגל|נורווגיה||+}} - שני זוכים
* {{דגל|הולנד||+}} - זוכה אחד
* {{דגל|שווייץ||+}} - זוכה אחד
* {{דגל|דנמרק||+}} - זוכה אחד
* {{דגל|ונצואלה||+}} - זוכה אחד
* {{דגל|צרפת||+}} - זוכה אחד
* {{דגל|לטביה||+}} - זוכה אחד
* {{דגל|הודו||+}} - זוכה אחד
* {{דגל|יוון||+}} - זוכה אחד
* {{דגל|איטליה||+}} - זוכה אחד

נכון לשנת 2024, 21 מתוך 77 הזוכים הם ממוצא [[יהודי]] (27.2%), בהם שישה [[ישראלים]]:
* בשנת 1976: [[מיכאל רבין]] מ[[האוניברסיטה העברית]] (יחד עם [[דנה סקוט]]), על מאמרם העוסק באוטומטים סופיים, שהציג את הרעיון של מכונות לא דטרמיניסטיות.
* בשנת 1996: [[אמיר פנואלי]] מ[[מכון ויצמן למדע]], על עבודתו המקורית להבאת [[לוגיקת זמן|לוגיקה טמפורלית]] למדעי המחשב ועל תרומתו ל[[אימות תוכנה]].
* בשנת 2002: [[עדי שמיר]] ממכון ויצמן למדע (יחד עם [[רונלד ריבסט]] ו[[לאונרד אדלמן]]), על תרומתם לפיתוח [[הצפנה]] ב[[מפתח ציבורי]].
* בשנת 2011: [[יהודה פרל]] מ[[אוניברסיטת קליפורניה בלוס אנג'לס]], ישראלי־אמריקאי, על תרומה יסודית לחקר [[בינה מלאכותית]] באמצעות פיתוח תחשיב ל[[הסקה סיבתית]] ו[[הסקה הסתברותית|הסתברותית]].
* בשנת 2012: [[שפי גולדווסר]] מ[[המכון הטכנולוגי של מסצ'וסטס]] ומ[[מכון ויצמן למדע]] (יחד עם [[סילביו מיקאלי]]) על תרומה יסודית לביסוס ה[[סיבוכיות]] התאורטית של [[הצפנה]] ופיתוח שיטות יעילות לאימות הוכחות מתמטיות בתורת הסיבוכיות.
* בשנת 2023: פרופסור [[אבי ויגדרזון]] מאוניברסיטת פרינסטון על הבנת האקראיות במחשוב ועל הובלתו ארוכת הטווח במדעי המחשב התאורטיים.

== זוכי הפרס ==
{| class="wikitable" align="center"
|-
! width="7%" | שנה
! width="20%" | שמות הזוכים
! הסיבה לזכייה
|-
! 1966
| {{דגל|ארצות הברית}} [[אלן פרליס]] || על השפעתו בתחום שיטות [[תכנות]] מתקדמות ובניית [[מהדר]]ים (קומפיילרים).
|-
! 1967
|| {{דגל|בריטניה}} [[מוריס וינסנט וילקס]] || וילקס ידוע בעיקר כבנאי ומעצב [[EDSAC]], המחשב הראשון עם תוכנית המאוחסנת באופן פנימי. נבנה בשנת 1949, EDSAC השתמש בזיכרון קו עיכוב כספית. הוא ידוע גם כמחבר, עם וילר וגיל, את הכרך בנושא "הכנת תוכניות למחשבים דיגיטליים אלקטרוניים" בשנת 1951, בו הוצגו למעשה [[ספרייה (תכנות)|ספריות תוכניות]].
|-
! 1968
|{{דגל|ארצות הברית}} [[ריצ'רד המינג]] || על עבודתו ב[[אנליזה נומרית|שיטות נומריות]], ונושאי גילוי ותיקון שגיאות ב[[תורת הקודים]].
|-
! 1969
|{{דגל|ארצות הברית}} [[מרווין מינסקי]] || [[בינה מלאכותית]].
|-
! 1970
| {{דגל|בריטניה}} [[ג'יימס וילקנסון]] || על מחקרו באנליזה מספרית כדי להקל על השימוש במחשב הדיגיטלי המהיר, לאחר שקיבל הכרה מיוחדת על עבודתו בחישובים ב[[אלגברה ליניארית]] וניתוח שגיאות "אחורה".
|-
! 1971
| {{דגל|ארצות הברית}} [[ג'ון מקארתי]] || הרצאתו של מקארתי "המצב הנוכחי של מחקר בנושא [[בינה מלאכותית]]" היא נושא המכסה את התחום בו הוא זכה להכרה ניכרת בעבודתו.
|-
! 1972
| {{דגל|הולנד}} [[אדסחר דייקסטרה]] || על תרומתו לפיתוח [[ALGOL]] ותרומתו הכללית לאומנות ה[[תכנות]] ושפות תכנות. תרומותיו לאורך השנים חובקות תחומים רבים החל מ[[תורת הגרפים]] וכלה במדריכים, מאמרים והגיגים בתחום [[שפת תכנות|שפות התכנות]].
|-
! 1973
|| {{דגל|ארצות הברית}} [[צ'ארלס באקמן]] || על תרומותיו יוצאות הדופן לטכנולוגיית [[מסד נתונים|מסדי הנתונים]].
|-
! 1974
|{{דגל|ארצות הברית}} [[דונלד קנות']]|| על תרומתו העיקרית לניתוח [[אלגוריתמים]] ולעיצוב [[שפות תכנות]], ובמיוחד על תרומתו ל"אמנות תכנות מחשבים "באמצעות ספריו הידועים בסדרה רציפה בשם זה
|-
! 1975
| {{דגל|ארצות הברית}} [[אלן ניוול]] <br> {{דגל|ארצות הברית}} [[הרברט סיימון]] || במאמצים מדעיים משותפים המשתרעים על פני עשרים שנה, בתחילה בשיתוף פעולה עם JC שו בתאגיד RAND, ובהמשך עם קולגות רבים בפקולטה וסטודנטים ב[[אוניברסיטת קרנגי מלון]], הם תרמו תרומות בסיסיות לבינה מלאכותית, לפסיכולוגיה של ההכרה האנושית ולמעבד רשימה.
|-
! 1976
| {{דגל|ישראל}} [[מיכאל רבין]] <br> {{דגל|ארצות הברית}} [[דנה סקוט]] || על הגדרת [[אוטומט סופי לא דטרמיניסטי]] ורעיון ה[[אי-דטרמיניזם]].
|-
! 1977
|{{דגל|ארצות הברית}} [[ג'ון באקוס]] || לתרומות עמוקות, משפיעות ומתמשכות לתכנון מערכות תכנות מעשיות ברמה גבוהה, בעיקר באמצעות עבודתו ב־FORTRAN, ולפרסום מכונן של הליכים פורמליים למפרט שפות תכנות.
|-
! 1978
|{{דגל|ארצות הברית}} [[רוברט פלויד]] || על השפעה ברורה על מתודולוגיות ליצירת תוכנה יעילה ואמינה ועל סיוע במציאת תחומי המשנה החשובים הבאים של מדעי המחשב: תורת הניתוח, סמנטיקה של שפות תכנות, אימות תוכניות אוטומטי, סינתזת תוכניות אוטומטית וניתוח. של אלגוריתמים
|-
! 1979
| {{דגל|קנדה}} [[קנת אייברסון]] || על מאמציו החלוציים בשפות תכנות וסימונים מתמטיים שהביאו למה שידוע כיום בתחום המחשוב כ־[[APL]], על תרומתו ליישום מערכות אינטראקטיביות, לשימושים חינוכיים ב־APL ולתיאוריה ולפרקטיקה של שפות התכנות.
|-
! 1980
| {{דגל|בריטניה}} [[טוני הואר]]|| על תרומתו הבסיסית להגדרה ולעיצוב של שפות תכנות
|-
! 1981
|{{דגל|בריטניה}} [[אדגר קוד]] || על תרומתו הבסיסית והמתמשכת לתיאוריה ולפרקטיקה של מערכות ניהול [[מסדי נתונים]], במיוחד מאגרי מידע יחסיים
|-
! 1982
| {{דגל|ארצות הברית}} {{דגל|קנדה}} [[סטיבן קוק]] || לקידום הבנתנו את מורכבות החישוב בצורה משמעותית ועמוקה
|-
! 1983
|{{דגל|ארצות הברית}} [[קן תומפסון]] <br> {{דגל|ארצות הברית}} [[דניס ריצ'י]] || לפיתוח תאוריית מערכות ההפעלה הגנריות ובמיוחד ליישום [[מערכת הפעלה|מערכת ההפעלה]] [[UNIX]]
|-
! 1984
| {{דגל|שווייץ}} [[ניקלאוס וירת]] || לפיתוח רצף של שפות מחשב חדשניות, EULER, ALGOL-W, MODULA ו- [[פסקל (שפת תכנות)|Pascal]]
|-
! 1985
|{{דגל|ארצות הברית}} [[ריצ'רד קארפ]] || על תרומתו המתמשכת לתורת ה[[אלגוריתמים]] כולל פיתוח אלגוריתמים יעילים לזרימת רשת ובעיות אופטימיזציה קומבינטוריות אחרות, זיהוי חישוב זמן פולינומי עם התפיסה האינטואיטיבית של יעילות אלגוריתמית, ובעיקר תרומות לתיאוריה של NP. -שְׁלֵמוּת
|-
! 1986
|{{דגל|ארצות הברית}} [[ג'ון הופקרופט]] <br> {{דגל|ארצות הברית}} [[רוברט טרג'אן]] || על הישגים מהותיים בעיצוב וניתוח [[אלגוריתם|אלגוריתמים]] ו[[מבני נתונים]].
|-
! 1987
|{{דגל|ארצות הברית}} [[ג'ון קוק]] || לתרומות משמעותיות בתכנון ותיאוריה של [[מהדר]]ים, בארכיטקטורה של מערכות גדולות ובפיתוח מחשבי מערכי הוראה מופחתים ([[RISC]]).
|-
! 1988
|{{דגל|ארצות הברית}} [[איוון סאת'רלנד]]|| על תרומתו החלוצית והחזונית ל[[גרפיקה ממוחשבת]], החל מ־Sketchpad, והמשיך לאחר מכן
|-
! 1989
| {{דגל|קנדה}} [[וילאם קאהן]] || על תרומתו הבסיסית לניתוח מספרי. אחד המומחים המובילים לחישובי נקודות צפות. כהן הקדיש את עצמו ל"הבטחת העולם לחישובים מספריים".
|-
! 1990
| {{דגל|ארצות הברית}} [[פרננדו קורבטו]] || על עבודתו החלוצית בארגון המושגים והובלת פיתוח מערכות המחשב הכלליות, בקנה מידה גדול, חלוקת זמן ושיתוף משאבים, CTSS ו־Multics
|-
! 1991
| {{דגל|בריטניה}} [[רובין מילנר]] || לשלושה הישגים ברורים ומלאים: 1) LCF, מיכון לוגיקת הפונקציות המחושבות של סקוט, ככל הנראה הכלי הראשון המבוסס תאורטית אך מעשי לבניית הוכחה בעזרת מכונה; 2) [[ML (שפת תכנות)|ML]], השפה הראשונה שכללה הסקת סוג פולימורפי יחד עם מנגנון [[טיפול בחריגות]]; 3) CCS, תיאוריה כללית של מקבילות. בנוסף, הוא גיבש וקידם בצורה מופשטת הפשטה מלאה, את חקר הקשר בין [[סמנטיקה]] אופרטיבית לדנוטציה
|-
! 1992
| {{דגל|ארצות הברית}} [[באטלר לאמפסון]] || לתרומות לפיתוח סביבות מחשוב מבוזרות ואישיות וטכנולוגיה ליישומן: תחנות עבודה, רשתות, מערכות הפעלה, מערכות תכנות, תצוגות, אבטחה ופרסום מסמכים
|-
! 1993
| {{דגל|לטביה}}{{דגל|ארצות הברית}} [[יוריס הארטמאניס]] <br> {{דגל|ארצות הברית}} [[ריצ'רד סטרנס]] || כהוקרה על מאמרם המכונן אשר ביסס את היסודות לתחום תורת המורכבות החישובית
|-
! 1994
| {{דגל|ארצות הברית}} [[אדוארד פייגנבאום]] <br> {{דגל|הודו}} {{דגל|ארצות הברית}} [[ראג' רדי]] || לחלוציות בתכנון ובניית מערכות בינה מלאכותית בקנה מידה גדול, והדגימה את החשיבות המעשית וההשפעה המסחרית הפוטנציאלית של טכנולוגיית הבינה המלאכותית
|-
! 1995
| {{דגל|ונצואלה}} [[מנואל בלום]] || בהוקרה על תרומתו ליסודות [[תורת הסיבוכיות החישובית]] ויישומהּ ב[[קריפטוגרפיה]] ו[[אימות תוכנה]].
|-
! 1996
| {{דגל|ישראל}} [[אמיר פנואלי]] || על הכנסת [[לוגיקת זמן]] (לוגיקה טמפורלית) לתחום מדעי המחשב.
|-
! 1997
|{{דגל|ארצות הברית}} [[דאגלס אנגלברט]] || לחזון מעורר השראה לעתיד המחשוב האינטראקטיבי ולהמצאת טכנולוגיות מפתח המסייעות למימוש חזון זה
|-
! 1998
|{{דגל|ארצות הברית}} [[ג'ים גריי]] || לתרומות מכרעות למחקרי עיבוד בסיסי נתונים ועסקאות ומנהיגות טכנית ביישום המערכת
|-
! 1999
| {{דגל|ארצות הברית}} [[פרד ברוקס]] || לתרומות בעלות ציון דרך לארכיטקטורת מחשבים, מערכות הפעלה ו[[הנדסת תוכנה]]
|-
! 2000
|{{דגל|ארצות הברית}} [[אנדרו יאו]] || בהוקרה על תרומתו היסודית ב[[חישוביות|תאוריית החישוביות]], לרבות תאוריות מבוססות-[[סיבוכיות]] של [[מחולל פסבדו אקראי|יצירת מספרים פסבדו-אקראיים]], [[קריפטוגרפיה]] ו[[סיבוכיות תקשורת]].
|-
! 2001
| {{דגל|נורווגיה}} [[אולה יוהאן דאל]] <br> {{דגל|נורווגיה}} [[קריסטין נייגארד]] || לרעיונות בסיסיים להופעת [[תכנות מונחה עצמים]], באמצעות תכנון שפות התכנות סימולה I וסימולה 67
|-
! 2002
|{{דגל|ארצות הברית}} [[רונלד ריבסט]] <br> {{דגל|ישראל}} [[עדי שמיר]] <br> {{דגל|ארצות הברית}} [[לאונרד אדלמן]]  || על תרומה מקורית בהפיכת [[מפתח ציבורי|הצפנה אסימטרית]] לבת-קיימא ([[RSA]]).
|-
! 2003
| {{דגל|ארצות הברית}} [[אלן קיי (מדען)]] ||על תרומתו למחשוב אישי, [[תכנות מונחה-עצמים]] ופיתוח שפת התכנות [[Smalltalk]].
|-
! 2004
| {{דגל|ארצות הברית}} [[וינט סרף]] <br> {{דגל|ארצות הברית}}[[בוב קאהן]] ||
על עבודה חלוצית בתחום [[תקשורת נתונים|רשתות תקשורת]], לרבות תיכון ומימוש הפרוטוקולים הבסיסים של רשת ה[[אינטרנט]] ופרוטוקול [[TCP/IP]].
|-
! 2005
| {{דגל|דנמרק}} [[פיטר נאור]] || על פיתוח שפת התכנות ALGOL 60.
|-
! 2006
|{{דגל|ארצות הברית}} [[פרנסס אלן]] || על תרומה חלוצית בתחום ה[[מהדר]]ים, וביצוע [[מיטוב אלגוריתמים|אופטימיזציה]] בשלב ההידור, אשר הניחה את היסודות למהדרים מודרניים ו[[חישוב מקבילי]] אוטומטי.
|-
! 2007
|{{דגל|ארצות הברית}} [[אדמונד קלארק]] <br> {{דגל|ארצות הברית}}[[אלן אמרסון]] <br> {{דגל|יוון}}{{דגל|צרפת}}[[ז'וסף סיפאקיס]]|| על פיתוח שיטת [[בדיקות מודל]] בטכנולוגיית אימות יעילה ביותר בה נעשה שימוש רב בעולם עיצוב התוכנה והחומרה.
|-
! 2008
|{{דגל|ארצות הברית}} [[ברברה ליסקוב]] || על תרומתה לתחום ה[[תכנות]] ו[[עיצוב תוכנה]], תאורטי ופרקטי, בעיקר בנושאי אבסטרקציה של מידע, עמידות לשגיאות ו[[חישוב מבוזר]].
|-
! 2009
|{{דגל|ארצות הברית}} [[צ'ארלס פ. ת'אקר]] || על תרומתו לפיתוח ה[[מחשב אישי|מחשב האישי]] המודרני הראשון ועל תרומתו ל-[[Ethernet]] ול[[מחשב לוח|מחשב הלוח]].
|-
! 2010
| {{דגל|בריטניה}} [[לסלי וליאנט]] || על תרומתו לפיתוח תחום ה[[למידה חישובית|למידה החישובית]], והגדרת [[למידת PAC]].
|-
! 2011
| {{דגל|ישראל}}{{דגל|ארצות הברית}} [[יהודה פרל]] || על תרומה יסודית לחקר [[בינה מלאכותית]] באמצעות פיתוח תחשיב ל[[הסקה סיבתית]] ו[[הסקה הסתברותית|הסתברותית]].
|-
! 2012
| {{דגל|ישראל}}{{דגל|ארצות הברית}} [[שפי גולדווסר]] {{ש}} {{דגל|איטליה}}{{דגל|ארצות הברית}} [[סילביו מיקאלי]] || על תרומה יסודית לביסוס ה[[סיבוכיות]] התאורטית של [[הצפנה]] ופיתוח שיטות יעילות לאימות הוכחות מתמטיות בתורת הסיבוכיות.
|-
! 2013
|{{דגל|ארצות הברית}} [[לזלי למפורט]] || על תרומתו היסודית לתאוריה ולפרקטיקה של תחום החישוב המבוזר והמקבילי, הגדרת רעיונות כגון שעוני סיבתיות, שעונים לוגיים, בטיחות וחיוּת, מכונות מצבים משוכפלות ועקביות סדרתית{{הערה|1={{cite web |url=http://amturing.acm.org/award_winners/lamport_1205376.cfm |title=Turing award 2013 |publisher=ACM}}}}.
|-
! 2014
|{{דגל|ארצות הברית}} [[מייקל סטונברייקר]] || על תרומות מהותיות למושגים ושיטות עבודה העומדות בבסיס מערכות מסדי נתונים מודרניים.
|-
! 2015
|{{דגל|ארצות הברית}} [[ויטפילד דיפי]] <br> {{דגל|ארצות הברית}} [[מרטין הלמן]] || על תרומתם בתחומי [[מפתח ציבורי]] ו[[חתימה דיגיטלית]].
|-
! 2016
|{{דגל|הממלכה המאוחדת}} [[טים ברנרס-לי]] || על המצאת ה־[[World Wide Web]], ה[[דפדפן]] הראשון, והאלגוריתמים והפרוטוקולים היסודיים המאפשרים לרשת להתפתח{{הערה|1={{cite web |url=http://amturing.acm.org/award_winners/berners-lee_8087960.cfm |title=Turing award 2016 |publisher=ACM}}}}.
|-
! 2017
|{{דגל|ארצות הברית}} [[ג'ון הנסי]] <br> {{דגל|ארצות הברית}} [[דייוויד פטרסון]] ||על הגישה הכמותית להערכה ותכנון של ארכיטקטורת מחשבים והשפעתה על תעשיית ה[[מיקרופרוססור]]ים.
|-
! 2018
|{{דגל|קנדה}} [[יהושע בנג'יו]]
{{דגל|קנדה}} [[ג'פרי הינטון]]{{ש}}
{{דגל|צרפת}} [[יאן לקון]]
||לפריצות דרך רעיוניות והנדסיות שהפכו רשתות עצביות עמוקות למרכיב קריטי במחשוב
|-
! 2019
|{{דגל|ארצות הברית}} [[אדווין קטמול]] <br> {{דגל|ארצות הברית}} [[פט הנרהן]] || לתרומות יסודיות ל[[גרפיקה ממוחשבת]] תלת־ממדית ולהשפעה המהפכנית של טכניקות אלה על [[Computer-generated Imagery|הדמיות ממוחשבות]] (CGI) בהפקת סרטים ויישומים אחרים.
|-
! 2020
|{{דגל|ארצות הברית}} [[אל אהו]]<br> {{דגל|ארצות הברית}} [[ג'פרי אולמן]] || לאלגוריתמים ותיאוריה בסיסיים העומדים בבסיס יישום שפת התכנות ולסינתזת תוצאות אלו ושל אחרים בספריהם המשפיעים ביותר, שחינכו דורות של מדעני מחשבים.
|-
! 2021
|{{דגל|ארצות הברית}} [[ג'ק דונגארה]] || עבור תרומות חלוציות לספריות ואלגוריתמים נומריים שאפשרו לתוכנות חישוביות בעלות ביצועים גבוהים לעמוד בקצב של שיפורי חומרה אקספוננציאליים במשך למעלה מארבעה עשורים.
|-
! 2022
| {{דגל|ארצות הברית}} [[רוברט מטקאלף]] || על המצאה, סטנדרטיזציה ו[[מסחור]] של [[אתרנט]].
|-
! 2023
| {{דגל|ישראל}} [[אבי ויגדרזון]] || תרומתו להבנת האקראיות ב[[חישוביות]] וב[[מתמטיקה]]
|}

== ראו גם ==
* [[מדליית פילדס]]
* [[פרס נובל]]

== קישורים חיצוניים ==
{{ויקישיתוף בשורה}}
* {{אתר רשמי}}
* [https://web.archive.org/web/20091212132624/http://awards.acm.org/homepage.cfm?srt=all&awd=140 A.M. Turing Award], האתר הרשמי של פרס טיורינג
* {{בריטניקה}}

== הערות שוליים ==
{{הערות שוליים}}

[[קטגוריה:זוכי פרס טיורינג|*]]
[[קטגוריה:פרסים אמריקאיים|טיורינג]]
[[קטגוריה:פרסים למדעי המחשב|טיורינג]]
[[קטגוריה:אלן טיורינג]]
[[קטגוריה:ACM]]