Мануэль Блюм

Мануэль Блюм
Manuel Blum
Дата рождения:	26 апреля 1938(19380426)
Место рождения:	Венесуэла, Каракас
Гражданство:	США
Научная сфера:	информатика
Место работы:	Университет Карнеги — Меллон
Альма-матер:	Массачусетсский технологический институт
Научный руководитель:	Марвин Ли Минский
Знаменитые ученики:	Г. Миллер, Л. Адлеман
Известен как:	Алгоритм Блюма — Блюма — Шуба
Награды и премии	Премия Тьюринга и др.
Сайт:	http://www.cs.cmu.edu/~mblum/

Мануэль Блюм (исп. Manuel Blum, 26 апреля 1938 года, Каракас, Венесуэла) — учёный в области теории вычислительных систем, профессор по информатике при университете Карнеги — Меллон. Награждён в 1995 году премией Тьюринга за достижения в исследовании основ теории сложности вычислений и их применении в криптографии и верификации программ.

Биография

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

В 1960-х годах Блюм разработал аксиоматическую теорию сложности вычислений, не зависящую от модели исполняющей машины, которая основывается на нумерации Гёделя. К его авторству относятся такие понятия, как схема обязательства, BFPRT-Алгоритм, алгоритм Блюма — Блюма — Шуба, криптосистема с открытым ключом Блюма — Гольдвассер, а также механизм распознавания ботов

• Леонард Адлеман
• Дана Англуин
• Гари Миллер
• Шафи Гольдвассер
• Рассел Импаглиаццо

Награды

• 1977 — Distinguished Teaching Award, UC Berkeley
• 1995 — премия Тьюринга «в дань его работам по основаниям теории сложности вычислений и её применению к криптографии и верификации программ»^[4]
• 2007 — Herbert A. Simon Teaching Award^[5]

Примечания

1. ↑ Сайт М. Блюма при Калифорнийском университете в Беркли (англ.)
2. ↑ http://www-2.cs.cmu.edu/~lblum/
3. ↑ http://www.cs.cmu.edu/~avrim/
4. ↑ http://awards.acm.org/citation.cfm?id=4659082&srt=alpha&alpha=B&aw=140&ao=AMTURING
5. ↑ http://www.cs.cmu.edu/~scsfacts/simon.html

См. также

• Ленор Блюм
• Алгоритм Блюма — Блюма — Шуба
• Схема обязательства
• BFPRT-Алгоритм

• Ссылки

  • Сайт М. Блюма при университете Карнеги — Меллон (англ.)
  • Сайт М. Блюма при Калифорнийском университете в Беркли (англ.)
  Лауреаты премии Тьюринга

  Перлис (1966) • Уилкс (1967) • Хэмминг (1968) • Минский (1969) • Уилкинсон (1970) • Маккарти (1971) • Дейкстра (1972) • Бахман (1973) • Кнут (1974) • Ньюэлл / Саймон (1975) • Рабин / Скотт (1976) • Бэкус (1977) • Флойд (1978) • Айверсон (1979) • Хоар (1980) • Кодд (1981) • Кук (1982) • Томпсон / Ритчи (1983) • Вирт (1984) • Карп (1985) • Хопкрофт / Тарьян (1986) • Кок (1987) • Сазерленд (1988) • Кэхэн (1989) • Корбато (1990) • Милнер (1991) • Лэмпсон (1992) • Хартманис / Стернс (1993) • Фейгенбаум / Редди (1994) • Блюм (1995) • Пнуели (1996) • Энгельбарт (1997) • Грей (1998) • Брукс (1999) • Яо (2000) • Даль / Нигаард (2001) • Ривест / Шамир / Адлеман (2002) • Кэй (2003) • Серф / Кан (2004) • Наур (2005) • Аллен (2006) • Кларк / Эмерсон / Сифакис (2007) • Лисков (2008)