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