פרס טיורינג: פרס בין לאומי נחשב מאוד בעולם המחשוב

**פרס טיורינג**
**ACM A. M. Turing Award**
	גביע פרס טיורינג
תיאור	פרס בינלאומי בתחום מדעי המחשב
מיקום הטקס	ניו יורק
מדינה	ארצות הברית
הגוף המעניק	ACM
סכום הזכייה	1,000,000 דולר אמריקאי
תקופת הפרס	1966–הווה (כ־58 שנים)
נקרא על שם	אלן טיורינג
	amturing.acm.org

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

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

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

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

ארצות הברית ארצות הברית - 48 זוכים
בריטניה בריטניה - 7 זוכים
ישראל ישראל - 6 זוכים
קנדה קנדה - שלושה זוכים
נורווגיה נורווגיה - שני זוכים
הולנד הולנד - זוכה אחד
שווייץ שווייץ - זוכה אחד
דנמרק דנמרק - זוכה אחד
ונצואלה ונצואלה - זוכה אחד
צרפת צרפת - זוכה אחד
לטביה לטביה - זוכה אחד
הודו הודו - זוכה אחד
יוון יוון - זוכה אחד
איטליה איטליה - זוכה אחד

נכון לשנת 2024, 21 מתוך 77 הזוכים הם ממוצא יהודי (27.2%), בהם שישה ישראלים:

בשנת 1976: מיכאל רבין מהאוניברסיטה העברית (יחד עם דנה סקוט), על מאמרם העוסק באוטומטים סופיים, שהציג את הרעיון של מכונות לא דטרמיניסטיות.
בשנת 1996: אמיר פנואלי ממכון ויצמן למדע, על עבודתו המקורית להבאת לוגיקה טמפורלית למדעי המחשב ועל תרומתו לאימות תוכנה.
בשנת 2002: עדי שמיר ממכון ויצמן למדע (יחד עם רונלד ריבסט ולאונרד אדלמן), על תרומתם לפיתוח הצפנה במפתח ציבורי.
בשנת 2011: יהודה פרל מאוניברסיטת קליפורניה בלוס אנג'לס, ישראלי־אמריקאי, על תרומה יסודית לחקר בינה מלאכותית באמצעות פיתוח תחשיב להסקה סיבתית והסתברותית.
בשנת 2012: שפי גולדווסר מהמכון הטכנולוגי של מסצ'וסטס וממכון ויצמן למדע (יחד עם סילביו מיקאלי) על תרומה יסודית לביסוס הסיבוכיות התאורטית של הצפנה ופיתוח שיטות יעילות לאימות הוכחות מתמטיות בתורת הסיבוכיות.
בשנת 2023: פרופסור אבי ויגדרזון מאוניברסיטת פרינסטון על הבנת האקראיות במחשוב ועל הובלתו ארוכת הטווח במדעי המחשב התיאורטיים.

זוכי הפרס

שנה	שמות הזוכים	הסיבה לזכייה
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	ארצות הברית צ'ארלס פ. ת'אקר	על תרומתו לפיתוח המחשב האישי המודרני הראשון ועל תרומתו ל-Ethernet ולמחשב הלוח.
2010	בריטניה לסלי וליאנט	על תרומתו לפיתוח תחום הלמידה החישובית, והגדרת למידת PAC.
2011	ישראל ארצות הברית יהודה פרל	על תרומה יסודית לחקר בינה מלאכותית באמצעות פיתוח תחשיב להסקה סיבתית והסתברותית.
2012	ישראל ארצות הברית שפי גולדווסר איטליה ארצות הברית סילביו מיקאלי	על תרומה יסודית לביסוס הסיבוכיות התאורטית של הצפנה ופיתוח שיטות יעילות לאימות הוכחות מתמטיות בתורת הסיבוכיות.
2013	ארצות הברית לזלי למפורט	על תרומתו היסודית לתאוריה ולפרקטיקה של תחום החישוב המבוזר והמקבילי, הגדרת רעיונות כגון שעוני סיבתיות, שעונים לוגיים, בטיחות וחיוּת, מכונות מצבים משוכפלות ועקביות סדרתית.
2014	ארצות הברית מייקל סטונברייקר	על תרומות מהותיות למושגים ושיטות עבודה העומדות בבסיס מערכות מסדי נתונים מודרניים.
2015	ארצות הברית ויטפילד דיפי ארצות הברית מרטין הלמן	על תרומתם בתחומי מפתח ציבורי וחתימה דיגיטלית.
2016	הממלכה המאוחדת טים ברנרס-לי	על המצאת ה־World Wide Web, הדפדפן הראשון, והאלגוריתמים והפרוטוקולים היסודיים המאפשרים לרשת להתפתח.
2017	ארצות הברית ג'ון הנסי ארצות הברית דייוויד פטרסון	על הגישה הכמותית להערכה ותכנון של ארכיטקטורת מחשבים והשפעתה על תעשיית המיקרופרוססורים.
2018	קנדה יהושע בנג'יו קנדה ג'פרי הינטון צרפת יאן לקון	לפריצות דרך רעיוניות והנדסיות שהפכו רשתות עצביות עמוקות למרכיב קריטי במחשוב
2019	ארצות הברית אדווין קטמול ארצות הברית פט הנרהן	לתרומות יסודיות לגרפיקה ממוחשבת תלת־ממדית ולהשפעה המהפכנית של טכניקות אלה על הדמיות ממוחשבות (CGI) בהפקת סרטים ויישומים אחרים.
2020	ארצות הברית אל אהו ארצות הברית ג'פרי אולמן	לאלגוריתמים ותיאוריה בסיסיים העומדים בבסיס יישום שפת התכנות ולסינתזת תוצאות אלו ושל אחרים בספריהם המשפיעים ביותר, שחינכו דורות של מדעני מחשבים.
2021	ארצות הברית ג'ק דונגארה	עבור תרומות חלוציות לספריות ואלגוריתמים נומריים שאפשרו לתוכנות חישוביות בעלות ביצועים גבוהים לעמוד בקצב של שיפורי חומרה אקספוננציאליים במשך למעלה מארבעה עשורים.
2022	ארצות הברית רוברט מטקאלף	על המצאה, סטנדרטיזציה ומסחור של אתרנט.
2023	ישראל אבי ויגדרזון	תרומתו להבנת האקראיות בחישוביות ובמתמטיקה

ראו גם

קישורים חיצוניים

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

אתר האינטרנט הרשמי של פרס טיורינג (באנגלית)
A.M. Turing Award, האתר הרשמי של פרס טיורינג
פרס טיורינג, באתר אנציקלופדיה בריטניקה (באנגלית)

הערות שוליים

This article uses material from the Wikipedia עברית article פרס טיורינג, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). התוכן זמין לפי תנאי CC BY-SA 4.0 אלא אם כן נאמר אחרת. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki עברית (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.