Мария Улиханова

Текст

Блюм был удостоен премии Тьюринга «в дань его работам по основаниям теории сложности вычислений и ее применению к криптографии и верификации программ»

Получив степень магистра по электротехнике и информатике в Массачусетском технологическом институте, Мануэль продолжил обучение, став доктором философии по математике. Некоторое время он работал профессором в Калифорнийском университете в Беркли, после чего Блюм стал преподавать в Университете Карнеги-Меллона. Помимо него здесь также работали профессорами по информатике его сын Аврим и жена Ленор.

Блюм разработал аксиоматическую теорию сложности вычислений, не зависящую от модели исполняющей машины. За применение теории сложности вычислений в криптографии и верификации программ Мануэль был удостоен премии Тьюринга – самой престижной премии в информатике.

Он является автором генератора псевдослучайных чисел, более известного как алгоритм BBS, алгоритма выбора, схемы обязательства и Криптосистемы Блюма-Гольдвассер. Мануэль также сыграл ключевую роль в создании CAPTCHA – автоматизированного теста Тьюринга, предназначенного для распознавания ботов.

В 1977 году Блюм получил награду Калифорнийского университета за выдающиеся заслуги перед преподаванием, а 30 лет спустя ему вручили премию Герберта Саймона за особые достижения в педагогической деятельности.

Использованные источники: AbsalomZenith (CC BY-SA), George M. Bergman (CC BY-SA)