مانوئل بلوم

دانشمند علوم کامپیوتر آمریکایی

مانوئل بلوم (انگلیسی: Manuel Blum؛ زاده ۲۶ آوریل ۱۹۳۸) یک دانشمند علوم رایانه ونزوئلایی-آمریکایی است که در سال ۱۹۹۵ جایزه تورینگ را "به پاس کمک‌هایش به مبانی نظریه پیچیدگی محاسباتی و کاربرد آن در رمزنگاری و بررسی برنامه" دریافت کرد.[۲][۳][۴]

مانوئل بلوم
زادهٔ۲۶ آوریل ۱۹۳۸ ‏(۸۵ سال)
محل زندگیپیتسبورگ
محل تحصیلمؤسسه فناوری ماساچوست
شناخته‌شده برایبدیهیات پیچیدگی بلوم
قضیه افزایش سرعت بلوم
بلام بلام شاب
سیستم رمزنگاری بلوم-گلدواسر
جایزه(ها)جایزه تورینگ
وبگاه
پیشینه علمی
شاخه(ها)علوم رایانه
محل کاردانشگاه کالیفرنیا، برکلی
دانشگاه کارنگی ملون
پایان‌نامهA Machine-Independent Theory of the Complexity of Recursive Functions (1964)
استاد راهنماماروین مینسکی[۱]
دانشجویان دکتریلئونارد آدلمن
Dana Angluin
C. Eric Bach
William Evans
Peter Gemmell
John Gill, III
شفیع گولدواسر
Mor Harchol-Balter
Diane Hernek
Nicholas Hopper
Russell Impagliazzo
Sampath Kannan
Silvio Micali
Gary Miller
مونی نائور
Rene Peralta
Ronitt Rubinfeld
Steven Rudich
Troy Shahoumian
Jeffrey Shallit
Michael Sipser
Elizabeth Sweedyk
اومش وزیرانی
Vijay Vazirani
Hal Wasserman
Luis von Ahn
Ryan Williams
Ivan da Costa Marques[۱]

زندگی‌نامه ویرایش

بلوم در خانواده‌ای یهودی در ونزوئلا به دنیا آمد. بلوم در مؤسسه فناوری ماساچوست تحصیل کرد و در سال های ۱۹۵۹ و ۱۹۶۱ مدرک کارشناسی و کارشناسی ارشد خود را در رشته مهندسی برق گرفت و پی‌اچ‌دی خود را در ریاضیات در سال ۱‍۹۶۴ تحت نظارت ماروین مینسکی در همانجا دریافت کرد.[۵][۶]

حرفه ویرایش

بلوم تا سال ۲۰۰۱ به عنوان استاد علوم رایانه در دانشگاه کالیفرنیا، برکلی تدریس کرد. از سال ۲۰۰۱ تا ۲۰۱۸، او استاد علوم رایانه بروس نلسون در دانشگاه کارنگی ملون بود، جایی که همسرش، لنور بلوم،[۷] نیز استاد علوم رایانه بود.

در سال ۲۰۰۲ به عضویت آکادمی ملی علوم ایالات متحده آمریکا انتخاب شد. در سال ۲۰۰۶، او به دلیل مشارکت در نظریه پیچیدگی انتزاعی، استنتاج استقرایی، پروتکل‌های رمزنگاری و تئوری و کاربردهای چک‌کننده‌های برنامه به عضویت آکادمی ملی مهندسی انتخاب شد.

در سال ۲۰۱۸ او و همسرش لنور در اعتراض به تبعیض جنسی از دانشگاه کارنگی ملون استعفا دادند، زیرا تغییر در ساختار مدیریتی پروژه المپوس منجر به رفتارهای جنسیتی با همسرش به عنوان مدیر و محرومیت زنان دیگر از فعالیت‌های پروژه شد.[۸]

منابع ویرایش

  1. ۱٫۰ ۱٫۱ Manuel Blum در پروژه تبارشناسی ریاضی.
  2. «Manuel Blum - A.M. Turing Award Winner». wayback.archive-it.org. بایگانی‌شده از اصلی در ۳ ژوئیه ۲۰۱۲. دریافت‌شده در ۲۰۲۲-۰۸-۲۶.
  3. "dblp: Manuel Blum 0001". dblp.org (به انگلیسی). Retrieved 2022-08-26.
  4. «Microsoft – Cloud, Computers, Apps & Gaming». www.microsoft.com (به انگلیسی). دریافت‌شده در ۲۰۲۲-۰۸-۲۶.
  5. «Manuel Blum - The Mathematics Genealogy Project». mathgenealogy.org. دریافت‌شده در ۲۰۲۲-۰۹-۰۵.
  6. «A Machine-Independent '*'] i ~eoy 5i' of the Complexity of Reeursive Functions» (PDF). کاراکتر line feed character در |عنوان= در موقعیت 59 (کمک)
  7. Blum, Lenore; Blum, Manuel (1975-06-01). "Toward a mathematical theory of inductive inference". Information and Control (به انگلیسی). 28 (2): 125–155. doi:10.1016/S0019-9958(75)90261-2. ISSN 0019-9958.
  8. Certo، Tracy (۲۰۱۸-۰۹-۰۶). «Lenore Blum shocked the community with her sudden resignation from CMU. Here she tells us why». NEXTpittsburgh (به انگلیسی). دریافت‌شده در ۲۰۲۲-۰۹-۰۷.