Мануэль Блюм
Мануэль Блюм (родился 26 апреля 1938 г.) - американский ученый-компьютерщик венесуэльского происхождения , получивший Премию Тьюринга в 1995 г. «В признание его вклада в основы теории сложности вычислений и ее применения в криптографии и проверке программ». [2] [3] [4] [5] [6] [7] [8]
Образование [ править ]
Блюм родился в еврейской семье в Венесуэле. [9] Блюм получил образование в Массачусетском технологическом институте , где он получил степень бакалавра и магистра электротехники в 1959 и 1961 годах соответственно, а также докторскую степень. по математике в 1964 году под руководством Марвина Мински . [1] [7]
Карьера [ править ]
До 2001 года Блюм работал профессором информатики в Калифорнийском университете в Беркли. С 2001 по 2018 год он был профессором компьютерных наук Брюса Нельсона в Университете Карнеги-Меллон , где его жена, Ленор Блюм , [10] также был профессором компьютерных наук.
В 2002 году он был избран членом Национальной академии наук США . В 2006 году он был избран членом Национальной инженерной академии за вклад в абстрактную теорию сложности, индуктивный вывод, криптографические протоколы, а также теорию и применение средств проверки программ.
В 2018 году он и его жена Ленор уволились из Университета Карнеги-Меллона в знак протеста против сексизма после того, как изменение в структуре управления « Проекта Олимп» привело к сексистскому обращению с ней как к директору и исключению других женщин из деятельности проекта. [11]
Исследования [ править ]
В 60-е годы он разработал аксиоматическую теорию сложности, независимую от конкретных моделей машин. Теория основана на нумерациях Гёделя и аксиомах Блюма . Несмотря на то, что теория не основана на какой-либо модели машины, она дает конкретные результаты, такие как теорема о сжатии , теорема о разрыве , теорема честности и теорема Блюма об ускорении .
Некоторые из других его работ включают в себя протокол подбрасывания монеты по телефону , медиану медиан линейного времени ( алгоритм выбора ), Блюма-Блюма Шуба генератор псевдослучайных чисел , криптосистему Блюма-Гольдвассера и, с недавних пор, CAPTCHA . [12]
Блюм также известен как советник многих выдающихся исследователей. Среди его докторов философии. Студентами являются Леонард Адлеман , Дана Англуин , Шафи Голдвассер , Мор Харчол-Балтер , Рассел Импальяццо , Сильвио Микали , Гэри Миллер , Мони Наор , Стивен Рудич , Майкл Сипсер , Ронитт Рубинфельд , Умеш Вазирани , Виджей Вазирани , Луис фон Ан и Райан Уильямс. . [1]
См. также [ править ]
- Список венесуэльцев
- Проблема изоморфизма графов
- Неинтерактивное доказательство с нулевым разглашением
- Подбрасывание квантовой монеты
- Сортировка блинов
Ссылки [ править ]
- ↑ Перейти обратно: Перейти обратно: а б с д Мануэль Блюм в проекте «Математическая генеалогия» .
- ↑ Цитата на премию ACM Turing , получено 24 января 2010 г.
- ^ Мануэль Блюм на DBLP библиографическом сервере
- ^ Публикации Мануэля Блюма, индексированные Microsoft Academic.
- ^ Блюм, Мануэль ; Микали, Сильвио (1984). «Как генерировать криптостойкие последовательности псевдослучайных битов» (PDF) . SIAM Journal по вычислительной технике . 13 (4): 850. дои : 10.1137/0213053 . S2CID 7008910 .
- ^ Блюм, М .; Флойд, RW ; Пратт, Вирджиния ; Ривест, РЛ ; Тарьян, Р.Э. (август 1973 г.). «Сроки выбора» (PDF) . Журнал компьютерных и системных наук . 7 (4): 448–461. дои : 10.1016/S0022-0000(73)80033-9 .
- ↑ Перейти обратно: Перейти обратно: а б Блюм, Мануэль (1967). «Машинно-независимая теория сложности рекурсивных функций» (PDF) . Журнал АКМ . 14 (2): 322–336. дои : 10.1145/321386.321395 . S2CID 15710280 .
- ^ Блюм, Л.; Блюм, М.; Шуб, М. (1986). «Простой непредсказуемый генератор псевдослучайных чисел». SIAM Journal по вычислительной технике . 15 (2): 364. дои : 10.1137/0215025 .
- ^ «Биография Леноры Блюм» . www-groups.dcs.st-and.ac.uk . Проверено 16 февраля 2019 г.
- ^ Блюм, Л.; Блюм, М. (1975). «К математической теории индуктивного вывода» . Информация и контроль . 28 (2): 125. дои : 10.1016/S0019-9958(75)90261-2 .
- ^ «Ленор Блюм шокировала общественность своим внезапным уходом из CMU. Здесь она рассказывает нам, почему» . 6 сентября 2018 г.
- ^ Фон Ан, Луис; Блюм, Мануэль; Хоппер, Николас Дж.; Лэнгфорд, Джон (май 2003 г.). « CAPTCHA: использование сложных задач искусственного интеллекта для безопасности ». Материалы Международной конференции по теории и применениям криптографических методов (EUROCRYPT 2003).
- Американские ученые-компьютерщики
- Теоретики-компьютерщики
- 1938 рождений
- Живые люди
- Американские учёные-евреи
- Стипендиаты Международной ассоциации криптологических исследований
- Члены Национальной инженерной академии США
- Члены Национальной академии наук США
- Лауреаты премии Тьюринга
- Преподаватели Университета Карнеги-Меллон
- Инженерный факультет Калифорнийского университета в Беркли
- Венесуэльские эмигранты в США
- Венесуэльские евреи
- Выпускники Школы наук Массачусетского технологического института
- Американские инженеры 20-го века
- Американские инженеры XXI века
- Американские учёные XX века
- Американские учёные XXI века
- Выпускники инженерной школы Массачусетского технологического института
- Люди из Каракаса