Мануэль Блюм

Мануэль Блюм (26 апреля 1938 года) — учёный в области теории вычислительных систем, профессор по информатике в университете Карнеги-Меллон.

Мануэль Блюм

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

Одно из важных достижений:
Разработал аксиоматическую теорию сложности вычислений, не зависящую от модели исполняющей машины.

Лауреат премии Тьюринга 1995 года
в дань его работам по основаниям теории сложности вычислений и её применению к криптографии и верификации программ.