Блюм, Мануэль

Мануэль Блюм родился в Каракасе в семье недавних еврейских иммигрантов из Румынии; его отец был часовщиком в Черновицах. Учился в Массачусетском технологическом институте, где получил степени бакалавра и магистра по электротехнике и информатике (1959 и 1961 годы), а затем степень доктора философии по математике в 1964 году под руководством Марвина Минского. До 1999 года Блюм работал доцентом и профессором в Калифорнийском университете в Беркли. С тех пор он работал и преподавал в университете Карнеги — Меллон. В 2018 году он покинул университет^[2], однако в настоящее время имеет статус почётного профессора (англ. Professor Emeritus)^[1].

Жена Мануэля Блюма — Ленор Блюм (в девичестве Эпштейн), которая также является известным учёным в области информатики и математики^[3][4]. Их сын, Аврим Блюм, тоже стал известным учёным в области информатики^[5]. Вся семья работала профессорами по информатике в Университете Карнеги — Меллона.

В 1960-х годах Блюм разработал аксиоматическую теорию сложности вычислений, не зависящую от модели исполняющей машины, которая основывается на нумерации Гёделя. К его авторству относятся такие понятия, как схема обязательства, алгоритм выбора, алгоритм Блюм — Блюма — Шуба, криптосистема с открытым ключом Блюма — Гольдвассер, а также механизм распознавания ботов CAPTCHA^[6]. В 1967 году он предложил набор аксиом (аксиомы Блюма), определяющих свойства любой корректной меры сложности вычислений^[7]. В том же году им была сформулирована теорема об ускорении, согласно которой существуют вычислимые функции, для которых не существует оптимального алгоритма: для любого алгоритма, вычисляющего такую функцию, всегда найдётся значительно более быстрый^[8]. Совместно со своей женой Ленор Блюм он работает над проектом «Сознательная машина Тьюринга» (Conscious Turing Machine, CTM). В рамках этого исследования разрабатывается формальная модель сознания, в которой множество параллельных процессоров конкурируют за доступ к глобальной рабочей области без центрального управляющего исполнителя^[9].

Мануэль Блюм был научным руководителем 35 аспирантов, многие из которых получили степень доктора философии и стали впоследствии знаменитыми учёными в области информатики, а трое из них — лауреатами премии Тьюринга^[10]. Среди них:

• Леонард Адлеман^[11]
• Дана Англуин
• Гари Миллер
• Шафи Гольдвассер^[10]
• Рассел Импаглиаццо
• Сильвио Микали^[10]

• 1977 — Distinguished Teaching Award, UC Berkeley
• 1995 — премия Тьюринга «в дань его работам по основаниям теории сложности вычислений и её применению к криптографии и верификации программ»^[12]
• 2007 — Herbert A. Simon Teaching Award^[13]
• 1987 — действительный член (Fellow) IEEE^[14]
• 1988 — действительный член (Fellow) Американская ассоциация содействия развитию науки^[14]
• 2002 — член Национальная академия наук США^[14]
• 2006 — член Национальная инженерная академия США^[14]
• 2020 — действительный член (Fellow) Ассоциации вычислительной техники (ACM)^[15]