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