פורטל:מדעי המחשב/ערכים מבוקשים
עמוד זה מכיל רשימת ערכים מבוקשים בנושאי מדעי המחשב. בהוספת ערכים חדשים, אנא שמרו על סדר האלפבית. כמו כן, אם אתם יודעים מה שם הערך באנגלית או שפה אחרת, הוסיפו גם אותו בסוגריים.
אדומים בתבנית:מדעי המחשב עריכה
אישים עריכה
זוכי פרס טיורינג עריכה
לערכים באנגלית ניתן לגשת דרך הערך על פרס טיורינג בוויקיפדיה האנגלית (אנ').
| שנה | שמות הזוכים | הסיבה לזכייה |
|---|---|---|
| 1970 |  ג'יימס וילקנסון |
|
| 1973 |  צ'ארלס באקמן |
|
| 1975 | אלן ניוול |
|
| 1976 | דנה סקוט |
על הגדרת אוטומט סופי לא דטרמיניסטי ורעיון האי-דטרמיניזם |
| 1977 | ג'ון באקוס |
|
| 1978 | רוברט פלויד |
|
| 1979 |  קנת אייברסון |
|
| 1980 | טוני הור |
|
| 1987 | ג'ון קוק |
|
| 1988 | איוואן סדארלנד |
|
| 1989 | וילאם קאהן |
|
| 1990 | פרננדו קורבטו |
|
| 1991 | רובין מילנר |
|
| 1992 | באטלר לאמפסון |
|
| 1993 |  יוריס הארטמאניס ריצ'רד סטרנס |
|
| 1994 |  ראג' רדי |
|
| 1998 | ג'ים גריי |
|
| 2001 |  אולה יוהאן דאל קריסטין נייגארד |
|
| 2003 | אלן קיי |
|
| 2007 | אדמונד קלארק אלן אמרסון   ז'וסף סיפאקיס |
על פיתוח שיטת בדיקות מודל בטכנולוגיית אימות יעילה ביותר בה נעשה שימוש רב בעולם עיצוב התוכנה והחומרה |
זוכי פרס גדל עריכה
פרס גדל הוא השני בחשיבותו בתחום מדעי המחשב, לאחר פרס טיורינג.
אישים נוספים עריכה
- מיקו היפונן (אנ')
- ס. בארי קופר (אנ')
- בועז ברק (אנ')
- סקוט אהרונסון (אנ')