Мануэль Блюм - Manuel Blum

Мануэль Блюм
Блюм мануэль ленор avrim.jpg
Мануэль Блюм (слева) с женой Ленор Блюм и их сын Аврим Блюм, 1973
Родившийся (1938-04-26) 26 апреля 1938 г. (82 года)
Каракас, Венесуэла
Альма-матерМассачусетский Институт Технологий
ИзвестенАксиомы сложности Блюма
Теорема Блюма об ускорении
Блюм Блюм Шуб
Криптосистема Блюма-Голдвассера
Супруг (а)Ленор Блюм
НаградыПремия Тьюринга (1995)
Научная карьера
ПоляИнформатика
УчрежденияКалифорнийский университет в Беркли
Университет Карнеги Меллон
ТезисМашинно-независимая теория сложности рекурсивных функций  (1964)
ДокторантМарвин Мински[1]
ДокторантыЛеонард Адлеман
Дана Англуин
К. Эрик Бах
Шафи Гольдвассер
Мор Харчол-Балтер
Рассел Импальяццо
Сильвио Микали
Гэри Миллер
Мони Наор
Ронитт Рубинфельд
Стивен Рудич
Джеффри Шаллит
Майкл Сипсер
Умеш Вазирани
Виджай Вазирани
Луис фон Ан
Райан Уильямс[1]
Интернет сайтwww.cs.cmu.edu/ ~ mblum

Мануэль Блюм (родился 26 апреля 1938 г.), американец венесуэльского происхождения. специалист в области информатики кто получил Премия Тьюринга в 1995 году "В знак признания его вклада в создание теория сложности вычислений и его применение к криптография и проверка программы ».[2][3][4][5][6][7][8]

Образование

Блюм родился в Еврейский семья в Венесуэле.[9] Блюм получил образование в Массачусетский технологический институт, где он получил степень бакалавра и магистра в EECS в 1959 и 1961 годах соответственно, а его Кандидат наук. в математика в 1964 г. под руководством Марвин Мински.[1][7]

Карьера

Он работал профессором информатики в Калифорнийский университет в Беркли до 2001 г. С 2001 по 2018 гг. он был профессором компьютерных наук Брюса Нельсона в Университет Карнеги Меллон, где его жена, Ленор Блюм,[10] также был профессором компьютерных наук. В 2002 г. избран депутатом Национальная академия наук США.

В 2018 году он и его жена Ленор ушли из Университета Карнеги-Меллона в знак протеста против сексизма после изменения структуры управления Проект Олимп привело к сексистскому отношению к ней как к директору и исключению других женщин из проектной деятельности.[11]

Исследование

В 60-х он разработал аксиоматическую теорию сложности, которая не зависела от конкретных моделей машин. Теория основана на Гёделевская нумерация и Аксиомы Блюма. Хотя теория не основана на какой-либо модели машины, она дает конкретные результаты, такие как теорема сжатия, то теорема о разрыве, теорема честности и Теорема Блюма об ускорении.

Некоторые из его других работ включают протокол для подбрасывать монетку по телефону, медиана медиан (линейное время алгоритм выбора ), Блюм Блюм Шуб генератор псевдослучайных чисел, Криптосистема Блюма-Голдвассера, и совсем недавно CAPTCHA.[12]

Блюм также известен как советник многих выдающихся исследователей. Среди его Ph.D. студенты Леонард Адлеман, Дана Англуин, Шафи Гольдвассер, Мор Харчол-Балтер, Рассел Импальяццо, Сильвио Микали, Гэри Миллер, Мони Наор, Стивен Рудич, Майкл Сипсер, Ронитт Рубинфельд, Умеш Вазирани, Виджай Вазирани, Луис фон Ан, и Райан Уильямс.[1]

Смотрите также

Рекомендации

  1. ^ а б c d Мануэль Блюм на Проект "Математическая генеалогия".
  2. ^ Цитирование Премии Тьюринга ACM, получено 24 января 2010.
  3. ^ Мануэль Блюм в DBLP Сервер библиографии Отредактируйте это в Викиданных
  4. ^ Список публикаций из Microsoft Academic
  5. ^ Блюм, Мануэль; Микали, Сильвио (1984). «Как сгенерировать криптографически стойкие последовательности псевдослучайных битов» (PDF). SIAM Журнал по вычислениям. 13 (4): 850. Дои:10.1137/0213053.
  6. ^ Блюм, М.; Флойд, Р. В.; Пратт, В.; Ривест, Р. Л.; Тарьян, Р.Э. (Август 1973 г.). «Сроки отбора» (PDF). Журнал компьютерных и системных наук. 7 (4): 448–461. Дои:10.1016 / S0022-0000 (73) 80033-9.
  7. ^ а б Блюм, Мануэль (1967). "Машинно-независимая теория сложности рекурсивных функций" (PDF). Журнал ACM. 14 (2): 322–336. Дои:10.1145/321386.321395.
  8. ^ Blum, L .; Блюм, М .; Шуб М. (1986). «Простой генератор непредсказуемых псевдослучайных чисел». SIAM Журнал по вычислениям. 15 (2): 364. Дои:10.1137/0215025.
  9. ^ "Биография Ленор Блюм". www-groups.dcs.st-and.ac.uk. Получено 16 февраля 2019.
  10. ^ Blum, L .; Блюм, М. (1975). «К математической теории индуктивного вывода». Информация и контроль. 28 (2): 125. Дои:10.1016 / S0019-9958 (75) 90261-2.
  11. ^ «Ленора Блюм шокировала сообщество своим внезапным уходом из CMU. Здесь она рассказывает нам, почему». 6 сентября 2018.
  12. ^ Фон Ан, Луис; Блюм, Мануэль; Хоппер, Николас Дж .; Лэнгфорд, Джон (май 2003 г.). "CAPTCHA: использование сложных задач искусственного интеллекта для обеспечения безопасности ". Труды Международной конференции по теории и приложениям криптографических методов (EUROCRYPT 2003).