Мануэль Блюм - Manuel Blum
Мануэль Блюм (родился 26 апреля 1938 г.) - венесуэльско-американский ученый - компьютерщик , получивший в 1995 г. премию Тьюринга «В знак признания его вклада в основы теории сложности вычислений и ее применения в криптографии и проверке программ».
Образование
Блюм родился в еврейской семье в Венесуэле. Блюм получил образование в Массачусетском технологическом институте , где получил степень бакалавра и магистра электротехники в 1959 и 1961 годах соответственно, а также докторскую степень. по математике в 1964 году под руководством Марвина Мински .
Карьера
До 2001 года он работал профессором информатики в Калифорнийском университете в Беркли . С 2001 по 2018 год он был профессором компьютерных наук Брюса Нельсона в Университете Карнеги-Меллона , где его жена, Ленор Блюм , также была профессором компьютерных наук. Наука.
В 2002 году он был избран членом Национальной академии наук США . В 2006 году он был избран членом Национальной инженерной академии за вклад в абстрактную теорию сложности, индуктивный вывод, криптографические протоколы, а также теорию и приложения программ проверки.
В 2018 году он и его жена Ленор ушли из Университета Карнеги-Меллона в знак протеста против сексизма после того, как изменение в структуре управления Project Olympus привело к сексистскому отношению к ней как к директору и исключению других женщин из проектной деятельности.
Исследовать
В 60-е годы он разработал аксиоматическую теорию сложности, не зависящую от конкретных моделей машин. Теория основана на нумерации Гёделя и аксиомах Блюма . Даже если теория не основана на любой модели машины он дает конкретные результаты , как в теореме сжатия , в теореме разрыва , теорема честности и в теореме Блюма SpeedUp .
Некоторые другие его работы включает в себя протокол монетку по телефону , медиана медиан (линейное время алгоритм выбора ), то Blum Blum Шуб генератор псевдослучайных чисел, то криптосистема Блюма-Голдвассером , а совсем недавно CAPTCHAs .
Блюм также известен как советник многих выдающихся исследователей. Среди его доктора философии. студенты Адлеман , Дана Энглин , Гольдвассер , Mor Harchol-Balter , Рассел Импальяццо , Микали , Гэри Миллер , Мони NaOR , Стивен Рудич , Майкл Сипзер , Ронитт Рабинфелд , Umesh Вазирани , Виджай Вазирани , Луис фон Ан , и Райан Уильямс .
Смотрите также
- Список венесуэльцев
- Проблема изоморфизма графов
- Неинтерактивное доказательство с нулевым разглашением
- Квантовое подбрасывание монеты
- Сортировка блинов
использованная литература