Премия Тьюринга ACM 1995 года была присуждена Мануэлю Блюму (Manuel Blum) в знак признания его фундаментального вклада в область теории вычислительной сложности и ее применений в криптографии и верификации программ. Родившаяся в Каракасе в 1938 году, этот венесуэльско-американский информатик посвятил десятилетия продвижению теоретических границ машинных моделей и алгоритмической эффективности.
Академический фундамент
Блюм получил высшее образование в Массачусетском технологическом институте. Он получил степень бакалавра и магистра в области электротехники в 1959 и 1961 годах соответственно. Во время учебы в институте он работал над математическими задачами нейронных сетей под руководством Уоррена С. Маккалоха. В 1964 году он получил степень доктора философии по математике, причем его докторская диссертация выполнялась под руководством Марвина Минского.
Вклад в теорию сложности
В 1960-х годах Блюм разработал аксиоматическую теорию сложности, которая функционировала независимо от конкретных машинных моделей. Используя нумерации Гёделя и аксиомы Блюма, его исследования дали значительные результаты, включая теорему о сжатии, теорему о проеме, теорему об честности и теорему об ускорении. Помимо этих аксиоматических основ, его работа включает создание алгоритма медианы медиан, генератора псевдослучайных чисел Блюма — Блюма — Шуба и криптосистемы Блюма — Годвассера. Ему также приписывают разработку таких протоколов, как подбрасывание монетки по телефону и современная CAPTCHA.
Карьера и профессиональные связи
Блюм долгое время занимал должность профессора информатики в Калифорнийском университете в Беркли, где оставался до 2001 года. В том году он принял должность профессора информатики имени Брюса Нельсона в Университете Карнеги — Меллона. В 2018 году он и его жена Ленор Блюм ушли со своих постов в Университете Карнеги — Меллона после споров относительно структуры управления и обращения с персоналом в рамках Проекта «Олимп». За свою карьеру он наставлял многочисленных исследователей, включая Леонарда Адлемана, Шафи Годвассер, Сильвио Микали и Луиса фон Ана.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Институциональное признание
Блюм был избран в несколько высокопоставленных академических органов, включая Национальную академию наук в 2002 году и Национальную академию инженерии в 2006 году за свой вклад в абстрактную сложность и криптографические протоколы. Его профессиональные членства включают Американскую академию искусств и наук и Ассоциацию вычислительной техники. Он является фелло Американской ассоциации содействия развитию науки, Международной ассоциации криптологических исследований (IACR) и ACM.
Краткие факты
- Родился: 1938 год, Каракас, Венесуэла - Образование: Массачусетский технологический институт - Премия Тьюринга: 1995 год - Работодатели: Калифорнийский университет в Беркли; Университет Карнеги — Меллона - Гражданство: США; Венесуэла - Области работы: Информатика - Основной вклад: Генератор Блюма — Блюма — Шуба - Профессиональные членства: IACR (2012), ACM (2020), AAAS (1983)
Вопросы читателей
### Какова основная область исследований Мануэля Блюма?
Он специализируется на информатике, уделяя особое внимание теории вычислительной сложности, криптографии и проверке программ.
### В каких университетах работал Мануэль Блюм?
Он работал профессором в Калифорнийском университете в Беркли, а затем профессором информатики имени Брюса Нельсона в Университете Карнеги — Меллона.
