פרס טיורינג של ה-ACM לשנת 1995 הוענק למנואל בלום (Manuel Blum) כהוקרה על תרומותיו היסודיות לתחום תורת הסיבוכיות החישובית ויישומיה בקריפטוגרפיה ובאימות תוכנה. מדען מחשב ונצואלי-אמריקאי זה, שנולד בקראקס בשנת 1938, הקדיש עשורים לקידום הגבולות התיאורטיים של מודלים ממוחשבים ויעילות אלגוריתמית.
תשתית אקדמית
בלום למד לתארים גבוהים במכון הטכנולוגי של מסצ'וסטס (MIT). הוא השלים את התואר הראשון והשני בהנדסת חשמל בשנים 1959 ו-1961, בהתאמה. במהלך תקופתו במכון, הוא שיתף פעולה בפתרון בעיות מתמטיות הקשורות לרשתות עצביות בהנחייתו של וורן ס. מקולוך (Warren S. McCulloch). בשנת 1964 קיבל תואר דוקטור במתמטיקה, כאשר מחקרו לתואר הדוקטור בוצע בהנחייתו של מרווין מינסקי (Marvin Minsky).
תרומות לתורת הסיבוכיות
במהלך שנות ה-60, בלום היה חלוץ בתורת סיבוכיות אקסיומטית שפעלה באופן בלתי תלוי במודלים ספציפיים של מכונות. תוך שימוש במספורי גדל (Gödel numberings) ובאקסיומות בלום, מחקרו הניב תוצאות משמעותיות, ביניהן משפט הדחיסה, משפט הפער, משפט הכנות ומשפט ההאצה. מעבר ליסודות אקסיומטיים אלו, עבודתו כוללת את יצירת אלגוריתם חציון החציונים, מחולל המספרים הפסאודו-אקראיים בלום-בלום-שאב (Blum Blum Shub) ומערכת ההצפנה בלום-גולדווסר (Blum-Goldwasser). הוא אף מוכר כמפתח פרוטוקולים כגון הטלת מטבע בטלפון וה-CAPTCHA המודרני.
קריירה ושיוך מקצועי
בלום החזיק במשרה רבת שנים כפרופסור למדעי המחשב באוניברסיטת קליפורניה בברקלי, שם נשאר עד שנת 2001. באותה שנה, הוא קיבל את משרת פרופסור ברוס נלסון למדעי המחשב באוניברסיטת קרנגי מלון. בשנת 2018, הוא ואשתו, לינור בלום (Lenore Blum), התפטרו מתפקידיהם באוניברסיטת קרנגי מלון בעקבות מחלוקות בנוגע למבנה הניהולי והיחס לצוות במסגרת פרויקט אולימפוס (Project Olympus). לאורך הקריירה שלו, הוא הדריך חוקרים רבים, ביניהם לאונרד אדלמן (Leonard Adleman), שפי גולדווסר (Shafi Goldwasser), סילביו מיקאלי (Silvio Micali) ולואיס פון אן (Luis von Ahn).
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →הכרה מוסדית
בלום נבחר לגופים אקדמיים בכירים רבים, ביניהם האקדמיה הלאומית למדעים בשנת 2002 והאקדמיה הלאומית להנדסה בשנת 2006, בזכות תרומותיו לסיבוכיות מופשטת ופרוטוקולים קריפטוגרפיים. חברויותיו המקצועיות כוללות את האקדמיה האמריקאית לאמנויות ולמדעים וה-Association for Computing Machinery (ACM). הוא עמית של האגודה האמריקאית לקידום המדע (AAAS), ה-IACR וה-ACM.
עובדות מהירות
- נולד: 1938, קראקס, ונצואלה - השכלה: המכון הטכנולוגי של מסצ'וסטס - פרס טיורינג: 1995 - מעסיקים: אוניברסיטת קליפורניה, ברקלי; אוניברסיטת קרנגי מלון - אזרחות: ארצות הברית; ונצואלה - תחומי עבודה: מדעי המחשב - תרומה מרכזית: מחולל בלום-בלום-שאב - חברויות מקצועיות: IACR (2012), ACM (2020), AAAS (1983)
שאלות נפוצות
### מהו תחום המחקר העיקרי של מנואל בלום?
הוא מתמחה במדעי המחשב, תוך התמקדות ספציפית בתורת הסיבוכיות החישובית, קריפטוגרפיה ובדיקת תוכנה.
### באילו אוניברסיטאות הועסק מנואל בלום?
הוא כיהן כפרופסור באוניברסיטת קליפורניה בברקלי, ולאחר מכן כפרופסור ברוס נלסון למדעי המחשב באוניברסיטת קרנגי מלון.