مانوئل بلوم
مانوئل بلوم (انگلیسی: 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 |
زندگینامه
بلوم در خانوادهای یهودی در ونزوئلا به دنیا آمد. بلوم در مؤسسه فناوری ماساچوست تحصیل کرد و در سال های ۱۹۵۹ و ۱۹۶۱ مدرک کارشناسی و کارشناسی ارشد خود را در رشته مهندسی برق گرفت و پیاچدی خود را در ریاضیات در سال ۱۹۶۴ تحت نظارت ماروین مینسکی در همانجا دریافت کرد.
حرفه
بلوم تا سال ۲۰۰۱ به عنوان استاد علوم رایانه در دانشگاه کالیفرنیا، برکلی تدریس کرد. از سال ۲۰۰۱ تا ۲۰۱۸، او استاد علوم رایانه بروس نلسون در دانشگاه کارنگی ملون بود، جایی که همسرش، لنور بلوم، نیز استاد علوم رایانه بود.
در سال ۲۰۰۲ به عضویت آکادمی ملی علوم ایالات متحده آمریکا انتخاب شد. در سال ۲۰۰۶، او به دلیل مشارکت در نظریه پیچیدگی انتزاعی، استنتاج استقرایی، پروتکلهای رمزنگاری و تئوری و کاربردهای چککنندههای برنامه به عضویت آکادمی ملی مهندسی انتخاب شد.
در سال ۲۰۱۸ او و همسرش لنور در اعتراض به تبعیض جنسی از دانشگاه کارنگی ملون استعفا دادند، زیرا تغییر در ساختار مدیریتی پروژه المپوس منجر به رفتارهای جنسیتی با همسرش به عنوان مدیر و محرومیت زنان دیگر از فعالیتهای پروژه شد.
منابع
- ↑ Manuel Blum در پروژه تبارشناسی ریاضی.
- ↑ «Manuel Blum - A.M. Turing Award Winner». wayback.archive-it.org. بایگانیشده از اصلی در ۳ ژوئیه ۲۰۱۲. دریافتشده در ۲۰۲۲-۰۸-۲۶.
- ↑ "dblp: Manuel Blum 0001". dblp.org (به انگلیسی). Retrieved 2022-08-26.
- ↑ «Microsoft – Cloud, Computers, Apps & Gaming». www.microsoft.com (به انگلیسی). دریافتشده در ۲۰۲۲-۰۸-۲۶.
- ↑ «Manuel Blum - The Mathematics Genealogy Project». mathgenealogy.org. دریافتشده در ۲۰۲۲-۰۹-۰۵.
- ↑ «A Machine-Independent '*'] i ~eoy 5i' of the Complexity of Reeursive Functions» (PDF).
- ↑ 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.
- ↑ Certo، Tracy (۲۰۱۸-۰۹-۰۶). «Lenore Blum shocked the community with her sudden resignation from CMU. Here she tells us why». NEXTpittsburgh (به انگلیسی). دریافتشده در ۲۰۲۲-۰۹-۰۷.
- «Manuel Blum». بایگانیشده از اصلی در ۲۵ دسامبر ۲۰۱۴. دریافتشده در ۱۹ آوریل ۲۰۱۴.