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