Блюм, Мануэль | это... Что такое Блюм, Мануэль? (original) (raw)
| Мануэль Блюм | |
|---|---|
| Manuel Blum | |
| Дата рождения: | 26 апреля 1938(1938-04-26) (74 года) |
| Место рождения: | Каракас, Венесуэла |
| Научная сфера: | информатика |
| Место работы: | Университет Карнеги — Меллон |
| Альма-матер: | Массачусетский технологический институт |
| Научный руководитель: | Марвин Ли Минский |
| Известные ученики: | Г. Миллер, Л. Адлеман |
| Известен как: | Алгоритм Блюма — Блюма — Шуба |
| Награды и премии | Премия Тьюринга и др. |
| Сайт: | http://www.cs.cmu.edu/~mblum/ |
В Википедии есть статьи о других людях с такой фамилией, см. Блюм.
Мануэль Блюм (исп. Manuel Blum; 26 апреля 1938 года, Каракас, Венесуэла) — учёный в области теории вычислительных систем, профессор по информатике в университете Карнеги — Меллон. Награждён в 1995 году премией Тьюринга за достижения в исследовании основ теории сложности вычислений и их применении в криптографии и верификации программ.
Биография
Мануэль Блюм учился в Массачусетском технологическом институте, где получил степени бакалавра и магистра по электротехнике и информатике (1959 и 1961 годы), а затем степень доктора философии по математике в 1964 году под руководством Марвина Минского[1]. До 1999 года Блюм работал доцентом и профессором в Калифорнийском университете в Беркли. С тех пор он работает и преподаёт в университете Карнеги — Меллон. В этом же вузе работают профессорами по информатике его жена Ленор[2] и сын Аврим[3].
В 1960-х годах Блюм разработал аксиоматическую теорию сложности вычислений, не зависящую от модели исполняющей машины, которая основывается на нумерации Гёделя. К его авторству относятся такие понятия, как схема обязательства, BFPRT-Алгоритм, алгоритм Блюма — Блюма — Шуба, криптосистема с открытым ключом Блюма — Гольдвассер, а также механизм распознавания ботов CAPTCHA.
Под его руководством многие студенты получили научную степень доктора философии и стали впоследствии знаменитыми учёными в области информатики. Среди них:
- Леонард Адлеман
- Дана Англуин
- Гари Миллер
- Шафи Гольдвассер
- Рассел Импаглиаццо
Награды
- 1977 — Distinguished Teaching Award, UC Berkeley
- 1995 — премия Тьюринга «в дань его работам по основаниям теории сложности вычислений и её применению к криптографии и верификации программ»[4]
- 2007 — Herbert A. Simon Teaching Award[5]
Примечания
- ↑ Страница М. Блюма на сайте Калифорнийского университета в Беркли (англ.)
- ↑ Lenore Blum’s Home Page
- ↑ Avrim Blum’s home page
- ↑ ACM Award Citation / Manuel Blum
- ↑ SCS FACULTY AWARDS
См. также
- Ленор Блюм
- Алгоритм Блюма — Блюма — Шуба
- Схема обязательства
- BFPRT-Алгоритм
- CAPTCHA
- Аксиомы Блюма
- Криптосистема Блюма — Гольдвассер
Ссылки
- Страница М. Блюма на сайте университета Карнеги — Меллон (англ.)
- Страница М. Блюма на сайте Калифорнийского университета в Беркли (англ.)
 Лауреаты премии Тьюринга |
|---|
| Перлис (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) • Текер (2009) • Вэлиант (2010) • Перл (2011) |