Мануэль Блюм (родился 26 апреля 1938 года) — американский учёный-компьютерщик венесуэльского происхождения , получивший премию Тьюринга в 1995 году «В знак признания его вклада в основы теории сложности вычислений и её применения в криптографии и проверке программ». [2] [3] [4] [5] [6] [7] [8]
Блум родился в еврейской семье в Венесуэле. [9] Блум получил образование в Массачусетском технологическом институте , где получил степень бакалавра и магистра в области электротехники в 1959 и 1961 годах соответственно. В Массачусетском технологическом институте его рекомендовал Уоррен С. Маккалок , и они совместно работали над некоторыми математическими проблемами в области нейронных сетей. [10] [11] [12] Он получил докторскую степень по математике в 1964 году под руководством Марвина Мински . [1] [7]
До 2001 года Блум работал профессором компьютерных наук в Калифорнийском университете в Беркли. С 2001 по 2018 год он был профессором компьютерных наук имени Брюса Нельсона в Университете Карнеги-Меллона , где его жена, Ленор Блум , [13] также была профессором компьютерных наук.
В 2002 году он был избран в Национальную академию наук США . В 2006 году он был избран членом Национальной инженерной академии за вклад в абстрактную теорию сложности, индуктивный вывод, криптографические протоколы, а также теорию и применение программных контролеров.
В 2018 году он и его жена Ленор ушли из Университета Карнеги-Меллона в знак протеста против сексизма после того, как изменение структуры управления Project Olympus привело к сексистскому отношению к ней как к директору и исключению других женщин из деятельности проекта. [14]
В 60-х годах он разработал аксиоматическую теорию сложности, которая не зависела от конкретных моделей машин. Теория основана на нумерациях Гёделя и аксиомах Блюма . Несмотря на то, что теория не основана ни на одной модели машин, она дает конкретные результаты, такие как теорема о сжатии , теорема о зазоре , теорема о честности и теорема Блюма об ускорении .
Некоторые из его других работ включают протокол подбрасывания монеты над телефоном , медиану медиан (линейный алгоритм выбора времени ), генератор псевдослучайных чисел Блюма-Блюма-Шуба , криптосистему Блюма-Гольдвассера и, совсем недавно, CAPTCHA . [15]
Блум также известен как консультант многих выдающихся исследователей. Среди его аспирантов Леонард Адлеман , Дана Энглуин , Шафи Голдвассер , Мор Харчол-Балтер , Рассел Импальяццо , Сильвио Микали , Гэри Миллер , Мони Наор , Стивен Рудич , Майкл Сипсер , Ронитт Рубинфельд , Умеш Вазирани , Виджай Вазирани , Луис фон Ан и Райан Уильямс . [1]