פרס טיורינג לשנת 2010 הוענק ללסלי ואליאנט (Leslie Valiant) על השפעתו המכוננת על מדעי המחשב העיוניים, תחום שעיצב באמצעות פיתוח מודלים יסודיים ללמידה ועיבוד מקבילי. הוא נולד בבודפשט בשנת 1949, והקדיש את הקריירה שלו לביסוס הגבולות המתמטיים של מה שמחשבים יכולים להשיג, תוך גישור על הפער בין לוגיקה מופשטת לחישוב מורכב בעולם האמיתי.
יסודות אקדמיים וקריירה מוקדמת
ואליאנט רכש את השכלתו הגבוהה בקינגס קולג' (King's College) שבאוניברסיטת קיימברידג', באימפריאל קולג' לונדון (Imperial College London) ובאוניברסיטת וורוויק (University of Warwick), שם השלים את לימודי הדוקטורט שלו בשנת 1974. הקריירה המוקדמת שלו בהוראה כללה תפקידים באוניברסיטת קרנגי מלון (Carnegie Mellon University) בשנים 1973 עד 1974 ובאוניברסיטת לידס (University of Leeds) בין השנים 1974 ל-1976. לאחר מכן החזיק בתפקיד באוניברסיטת אדינבורו (University of Edinburgh) מ-1976 עד 1982, בטרם הצטרף לסגל אוניברסיטת הרווארד (Harvard University), שם הוא מכהן כיום כפרופסור למדעי המחשב ומתמטיקה שימושית על שם טי. ג'פרסון קולידג'.
תרומות לתורת הסיבוכיות
מחקרו בתחום סיבוכיות חישובית הוביל להצגת מושג ה-#P-completeness, מסגרת שנועדה להסביר מדוע בעיות ספירה ומהימנות מסוימות הן קשות לפתרון מטבען. עבודה זו אפשרה לחוקרים לסווג בעיות ספירה על בסיס היתכנותן החישובית. בנוסף, הוא פיתח אלגוריתם לניתוח תחבירי (parsing) של שפות חופשיות הקשר, שנותר הגישה המהירה ביותר הידועה במונחים אסימפטוטיים.
מודלים של למידה ומערכות מקביליות
ואליאנט יצר את מודל ה-PAC (Probably Approximately Correct), שסיפק בסיס עיוני ללמידת מכונה באמצעות הגדרת ההיתכנות של למידה אינדוקטיבית. בתחום ארכיטקטורת מערכות, הוא הציג את מודל ה-BSP (Bulk Synchronous Parallel). מסגרת זו מציעה מבנה למחשוב מקבילי ומבוזר, המקביל למודל פון נוימן, ואומצה על ידי מערכות כגון MapReduce, Pregel ופרויקטים שונים בקוד פתוח כמו Hadoop ו-Spark.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →הוקרה ומינויים מקצועיים
כאזרח הממלכה המאוחדת וארצות הברית, ואליאנט הוא חבר נבחר באקדמיה הלאומית למדעים, בחברה המלכותית ובאקדמיה האמריקאית לאמנויות ולמדעים. מעבר לפרס טיורינג, הקריירה שלו התאפיינה בזכייה בפרס נבאנלינה (Nevanlinna Prize) בשנת 1986, פרס קנות' (Knuth Prize) בשנת 1997 ופרס ה-EATCS בשנת 2008. הוא גם עמית של האגודה לקידום הבינה המלאכותית.
עובדות מהירות
- נולד: 1949, בודפשט - תפקיד נוכחי: פרופסור באוניברסיטת הרווארד - תחומים עיקריים: מדעי המחשב, מתמטיקה - השכלה: אוניברסיטת וורוויק, אימפריאל קולג' לונדון, קינגס קולג' - הוקרה בולטת: פרס טיורינג (2010) - אזרחות: הממלכה המאוחדת, ארצות הברית
שאלות שקוראים שואלים
### מהי התרומה העיקרית של מודל ה-PAC?
הוא הציג בסיס תיאורטי ללמידת מכונה על ידי יישוב בין היתכנות חישובית לבין כללים לוגיים שיש ללמוד.
### מדוע מודל ה-BSP משמעותי?
הוא משמש כמודל משפיע עבור ארכיטקטורות מחשוב מקבילי ומבוזר, המאפשר עיבוד נתונים בהיקף נרחב.