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

Мануэль Блюм
Блюм мануэль ленор avrim.jpg
Мануэль Блюм (слева) с женой Ленор Блюм и сыном Авримом Блюмом , 1973 г.
Родился ( 1938-04-26 )26 апреля 1938 г. (83 года)
Альма-матер Массачусетский Институт Технологий
Известен Аксиомы сложности
Блюма Целое число
Блюма Теорема Блюма об ускорении
Блюм Блюм
Криптосистема Шуба Блюма – Гольдвассера
Алгоритм Блюма – Микали
CAPTCHA
reCAPTCHA
Схема обязательств
Супруг (а) Ленор Блюм
Награды Премия AM Тьюринга ACM, 1995 Приз за
выдающиеся преподаватели, Калифорнийский университет в Беркли, 1977
Премия Мони А. Ферста Сигмы Си, 1991 Премия
Герберта Саймона за преподавание, 2007
Научная карьера
Поля Информатика
Учреждения Калифорнийский университет, Беркли,
Университет Карнеги-Меллона
Тезис Машинно-независимая теория сложности рекурсивных функций  (1964)
Докторант Марвин Мински
Докторанты Адлеман
Дана Энглин
C. Eric Bach
Гольдвассер
Mor Harchol-Балтер
Рассел Импальяццо
Микали
Гэри Миллер
Moni Naor
Ронитт Рабинфелд
Стивен Рудич
Джеффри Шаллит
Майкл Сипзер
Umesh Вазирани
Виджай Вазирани
Луис фон Ан
Райан Уильямс
Веб-сайт www .cs .cmu .edu / ~ mblum

Мануэль Блюм (родился 26 апреля 1938 г.) - венесуэльско-американский ученый - компьютерщик , получивший в 1995 г. премию Тьюринга «В знак признания его вклада в основы теории сложности вычислений и ее применения в криптографии и проверке программ».

Образование

Блюм родился в еврейской семье в Венесуэле. Блюм получил образование в Массачусетском технологическом институте , где получил степень бакалавра и магистра электротехники в 1959 и 1961 годах соответственно, а также докторскую степень. по математике в 1964 году под руководством Марвина Мински .

Карьера

До 2001 года он работал профессором информатики в Калифорнийском университете в Беркли . С 2001 по 2018 год он был профессором компьютерных наук Брюса Нельсона в Университете Карнеги-Меллона , где его жена, Ленор Блюм , также была профессором компьютерных наук. Наука.

В 2002 году он был избран членом Национальной академии наук США . В 2006 году он был избран членом Национальной инженерной академии за вклад в абстрактную теорию сложности, индуктивный вывод, криптографические протоколы, а также теорию и приложения программ проверки.

В 2018 году он и его жена Ленор ушли из Университета Карнеги-Меллона в знак протеста против сексизма после того, как изменение в структуре управления Project Olympus привело к сексистскому отношению к ней как к директору и исключению других женщин из проектной деятельности.

Исследовать

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

Некоторые другие его работы включает в себя протокол монетку по телефону , медиана медиан (линейное время алгоритм выбора ), то Blum Blum Шуб генератор псевдослучайных чисел, то криптосистема Блюма-Голдвассером , а совсем недавно CAPTCHAs .

Блюм также известен как советник многих выдающихся исследователей. Среди его доктора философии. студенты Адлеман , Дана Энглин , Гольдвассер , Mor Harchol-Balter , Рассел Импальяццо , Микали , Гэри Миллер , Мони NaOR , Стивен Рудич , Майкл Сипзер , Ронитт Рабинфелд , Umesh Вазирани , Виджай Вазирани , Луис фон Ан , и Райан Уильямс .

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

использованная литература