Мануэль Блюм | |
---|---|
Мануэль Блюм (слева) с женой Ленор Блюм и сыном Авримом Блюмом , 1973 г. | |
Родившийся | |
Альма-матер | Массачусетский Институт Технологий |
Известен | Аксиомы сложности Блюма Теорема Блюма об ускорении Блюм Блюм Шуб Криптосистема Блюма-Гольдвассера |
Супруг (а) | Ленор Блюм |
Награды | Премия Тьюринга (1995) |
Научная карьера | |
Поля | Информатика |
Учреждения | Калифорнийский университет, Беркли, Университет Карнеги-Меллона |
Тезис | Машинно-независимая теория сложности рекурсивных функций (1964) |
Докторант | Марвин Мински [1] |
Докторанты | Адлеман Дана Энглин C. Eric Bach Гольдвассер Mor Harchol-Балтер Рассел Импальяццо Микали Гэри Миллер Moni Naor Ронитт Рабинфелд Стивен Рудич Джеффри Шаллит Майкл Сипзер Umesh Вазирани Виджай Вазирани Луис фон Ан Райан Уильямс [1] |
Интернет сайт | www |
Мануэль Блюм (родился 26 апреля 1938 г.) - венесуэльско-американский ученый - компьютерщик , получивший в 1995 г. премию Тьюринга «В знак признания его вклада в основы теории сложности вычислений и ее применения в криптографии и проверке программ». [2] [3] [4] [5] [6] [7] [8]
Образование [ править ]
Блюм родился в еврейской семье в Венесуэле. [9] Блюм получил образование в Массачусетском технологическом институте , где он получил степень бакалавра и магистра в области EECS в 1959 и 1961 годах соответственно, а также докторскую степень. по математике в 1964 году под руководством Марвина Мински . [1] [7]
Карьера [ править ]
До 2001 года он работал профессором информатики в Калифорнийском университете в Беркли . С 2001 по 2018 год он был профессором компьютерных наук Брюса Нельсона в Университете Карнеги-Меллона , где его жена, Ленор Блюм , [10] также была профессор компьютерных наук. В 2002 году он был избран членом Национальной академии наук США .
В 2018 году он и его жена Ленор ушли из Университета Карнеги-Меллона в знак протеста против сексизма после того, как изменение в структуре управления Project Olympus привело к сексистскому отношению к ней как к директору и исключению других женщин из проектной деятельности.[11]
Исследование [ править ]
В 60-х он разработал аксиоматическую теорию сложности, которая не зависела от конкретных моделей машин. Теория основана на нумерации Гёделя и аксиомах Блюма . Несмотря на то, что теория не основана на какой-либо модели машины, она дает конкретные результаты, такие как теорема сжатия, теорема о разрыве, теорема честности и теорема Блюма об ускорении .
Некоторые другие его работы включает в себя протокол монетку по телефону , медиана медиан (линейное время алгоритм выбора ), то Blum Blum Шуб генератор псевдослучайных чисел, то криптосистема Блюма-Голдвассером , а совсем недавно CAPTCHAs . [12]
Блюм также известен как советник многих выдающихся исследователей. Среди его Ph.D. студенты Адлеман , Дана Энглин , Гольдвассер , Mor Harchol-Balter , Рассел Импальяццо , Микали , Гэри Миллер , Мони NaOR , Стивен Рудич , Майкл Сипзер , Ронитт Рабинфелд , Umesh Вазирани , Виджай Вазирани , Луис фон Ан , и Райан Уильямс . [1]
См. Также [ править ]
- Список венесуэльцев
Ссылки [ править ]
- ^ a b c d Мануэль Блюм в проекте « Математическая генеалогия» .
- ↑ ACM Turing Award Citation , извлечено 24 января 2010 г.
- ^ Мануэль Блюм насервере библиографии DBLP
- ^ Список публикаций из Microsoft Academic
- ^ Блюм, Мануэль ; Микали, Сильвио (1984). «Как сгенерировать криптографически стойкие последовательности псевдослучайных битов» (PDF) . SIAM Journal on Computing . 13 (4): 850. DOI : 10,1137 / 0213053 .
- ^ Блюм, М .; Флойд, RW ; Пратт, VR ; Ривест, Р.Л . ; Тарьян, Р. Э. (август 1973 г.). «Сроки выбора» (PDF) . Журнал компьютерных и системных наук . 7 (4): 448–461. DOI : 10.1016 / S0022-0000 (73) 80033-9 .
- ^ a b Блюм, Мануэль (1967). "Машинно-независимая теория сложности рекурсивных функций" (PDF) . Журнал ACM . 14 (2): 322–336. DOI : 10.1145 / 321386.321395 .
- ^ Blum, L .; Блюм, М .; Шуб М. (1986). «Простой генератор непредсказуемых псевдослучайных чисел». SIAM Journal on Computing . 15 (2): 364. DOI : 10,1137 / 0215025 .
- ^ "Биография Ленор Блюм" . www-groups.dcs.st-and.ac.uk . Проверено 16 февраля 2019 .
- ^ Blum, L .; Блюм, М. (1975). «К математической теории индуктивного вывода» . Информация и контроль . 28 (2): 125. DOI : 10.1016 / S0019-9958 (75) 90261-2 .
- ^ «Ленор Блюм шокировала сообщество своим внезапным уходом из CMU. Здесь она рассказывает нам, почему» . 6 сентября 2018.
- ↑ Фон Ан, Луис; Блюм, Мануэль; Хоппер, Николас Дж .; Лэнгфорд, Джон (май 2003 г.). « CAPTCHA: Использование сложных задач AI для обеспечения безопасности ». Труды Международной конференции по теории и применению криптографических методов (EUROCRYPT 2003).