Про знаменитості
Мануель Блюм: біографія
День народження 26 квітня 1938
вчений у галузі теорії обчислювальних систем, професор з інформатики в університеті Карнегі - Меллон
Біографія
Мануель Блюм навчався в Массачусетському технологічному інституті, де отримав ступінь бакалавра і магістра з електротехніки та інформатики (1959 і 1961 роки), а потім ступінь доктора філософії з математики в 1964 році під керівництвом Марвіна Мінського . До 1999 року Блюм працював доцентом і професором у Каліфорнійському університеті в Берклі. З тих пір він працює і викладає в університеті Карнегі - Меллон. У цьому ж вузі працюють професорами з інформатики його дружина Ленор і син Аврім.
У 1960-х роках Блюм розробив аксіоматичну теорію складності обчислень, не залежну від моделі виконуючою машини, яка грунтується на нумерації Геделя. До його авторству належать такі поняття, як схема зобов'язання, BFPRT-Алгоритм, алгоритм Блюма - Блюма - Шуба, криптосистема з відкритим ключем Блюма - Гольдвассер, а також механізм розпізнавання ботів CAPTCHA.
Під його керівництвом багато студентів отримали науковий ступінь доктора філософії і стали згодом відомими вченими в галузі інформатики. Серед них:
Нагороди
- 2007 - Herbert A. Simon Teaching Award
- 1995 - премія Тьюрінга«в данину його роботам з підстав теорії складності обчислень та її застосування до криптографії та верифікації програм»
- 1977 - Distinguished Teaching Award, UC Berkeley