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