Блюм, Мануэль
Мануэль Блюм | |
---|---|
исп. Manuel Blum | |
Дата рождения | 26 апреля 1938 (86 лет) |
Место рождения | Каракас, Венесуэла |
Страна | |
Род деятельности | специалист в области информатики, преподаватель университета |
Научная сфера | информатика |
Место работы | Университет Карнеги — Меллон |
Альма-матер | Массачусетский технологический институт |
Научный руководитель | Марвин Ли Минский |
Ученики | Г. Миллер, Л. Адлеман |
Известен как | Алгоритм Блюм — Блюма — Шуба |
Награды и премии | |
Сайт | cs.cmu.edu/~mblum/ |
Медиафайлы на Викискладе |
Мануэль Блюм (исп. Manuel Blum; род. 26 апреля 1938, Каракас, Венесуэла) — учёный в области теории вычислительных систем, профессор по информатике в университете Карнеги — Меллон. Награждён в 1995 году премией Тьюринга за достижения в исследовании основ теории сложности вычислений и их применении в криптографии и верификации программ.
Биография
[править | править код]Мануэль Блюм родился в Каракасе в семье недавних еврейских иммигрантов из Румынии; его отец был часовщиком в Черновцах.[1][2] Учился в Массачусетском технологическом институте, где получил степени бакалавра и магистра по электротехнике и информатике (1959 и 1961 годы), а затем степень доктора философии по математике в 1964 году под руководством Марвина Минского[3]. До 1999 года Блюм работал доцентом и профессором в Калифорнийском университете в Беркли. С тех пор он работает и преподаёт в университете Карнеги — Меллон. В этом же вузе работают профессорами по информатике его жена Ленор[4] и сын Аврим[5][6]. В 2018 году вместе с женой уволились из Университета Карнеги — Меллон.
В 1960-х годах Блюм разработал аксиоматическую теорию сложности вычислений, не зависящую от модели исполняющей машины, которая основывается на нумерации Гёделя. К его авторству относятся такие понятия, как схема обязательства, алгоритм выбора, алгоритм Блюм — Блюма — Шуба, криптосистема с открытым ключом Блюма — Гольдвассер, а также механизм распознавания ботов CAPTCHA.
Под его руководством многие студенты получили научную степень доктора философии и стали впоследствии знаменитыми учёными в области информатики. Среди них:
Награды
[править | править код]- 1977 — Distinguished Teaching Award, UC Berkeley
- 1995 — премия Тьюринга «в дань его работам по основаниям теории сложности вычислений и её применению к криптографии и верификации программ»[7]
- 2007 — Herbert A. Simon Teaching Award[8]
Примечания
[править | править код]- ↑ Love In Caracas . Дата обращения: 22 марта 2013. Архивировано 8 июля 2013 года.
- ↑ Lenore Blum . Дата обращения: 22 марта 2013. Архивировано 21 октября 2012 года.
- ↑ (англ.) Страница М. Блюма Архивная копия от 13 октября 2006 на Wayback Machine на сайте Калифорнийского университета в Беркли
- ↑ Lenore Blum’s Home Page . Дата обращения: 8 февраля 2009. Архивировано 18 декабря 2008 года.
- ↑ Avrim Blum’s home page . Дата обращения: 8 февраля 2009. Архивировано 21 марта 2009 года.
- ↑ Dad, mom join son to form a potent computer science team at CMU . Дата обращения: 22 марта 2013. Архивировано 8 июля 2013 года.
- ↑ ACM Award Citation / Manuel Blum (недоступная ссылка)
- ↑ SCS FACULTY AWARDS . Дата обращения: 8 февраля 2009. Архивировано 9 марта 2009 года.
См. также
[править | править код]Ссылки
[править | править код]- Страница М. Блюма на сайте университета Карнеги — Меллон (англ.)
- Страница М. Блюма на сайте Калифорнийского университета в Беркли (англ.)
- Родившиеся 26 апреля
- Родившиеся в 1938 году
- Лауреаты премии Тьюринга
- Действительные члены Ассоциации вычислительной техники
- Персоналии по алфавиту
- Учёные по алфавиту
- Родившиеся в Каракасе
- Учёные в области информатики США
- Члены Национальной академии наук США
- Преподаватели Инженерного колледжа Калифорнийского университета в Беркли
- Преподаватели Калифорнийского университета в Беркли
- Выпускники Инженерной школы Массачусетского технологического института
- Выпускники Школы наук Массачусетского технологического института