Referat.me
/ / Блюм, Мануэль

Название: Блюм, Мануэль

Вид работы: реферат

Рубрика: История

Размер файла: 15.78 Kb

Скачать файл: referat.me-155360.docx

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

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



План
Введение
1 Биография
2 Награды
Список литературы

Введение

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

1. Биография

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

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

Под его руководством многие студенты получили научную степень доктора философии и стали впоследствии знаменитыми учёными в области информатики. Среди них:

· Леонард Адлеман

· Дана Англуин

· Гари Миллер

· Шафи Гольдвассер

· Рассел Импаглиаццо

2. Награды

· 1977 — Distinguished Teaching Award, UC Berkeley

· 1995 — премия Тьюринга «в дань его работам по основаниям теории сложности вычислений и её применению к криптографии и верификации программ» [4]

· 2007 — Herbert A. Simon Teaching Award[5]

Список литературы:

1. Страница М. Блюма на сайте Калифорнийского университета в Беркли (англ.)

2. Lenore Blum’s Home Page

3. Avrim Blum’s home page

4. ACM Award Citation / Manuel Blum

5. SCS FACULTY AWARDS

Источник: http://ru.wikipedia.org/wiki/Блюм,_Мануэль

Похожие работы

  • Тарьян, Роберт

    Введение 1 Образование 2 Карьера 2.1 Алгоритмы и структуры данных 3 Награды Список литературы Введение Роберт Андре Тарьян (англ. Robert Endre Tarjan, 30 апреля 1948 года, Помона, США) — известный американский учёный в области теории вычислительных систем. Родился 30 апреля 1948 года в калифорнийском городе Помона.

  • Яо, Эндрю

    План Введение 1 Биография 2 Награды (выдержка) Список литературы Введение Эндрю Яо Цичжи (англ. Andrew Chi-Chih Yao , кит. 姚期智, пиньинь

  • Акофф, Рассел Линкольн

    Рассел Линкольн Акофф (12 февраля 1919 — 29 октября 2009) — известный учёный в областях исследования операций и теории систем, методы которых активно используются в теории организации и управления.

  • Лисков, Барбара

    План Введение 1 Биография 2 Награды 3 Библиография Список литературы Введение Барбара Лисков (англ. Barbara Liskov , род. Барбара Джейн Хьюберман — Barbara Jane Huberman

  • Мотвани, Раджив

    План Введение 1 Биография 2 Личная жизнь 3 Труды 4 Награды 5 Цитаты Список литературы Введение Раджив Мотвани (англ. Rajeev Motwani , хинди राजीव मोटवानी; 1962 — 2009) — американский учёный индийского происхождения, профессор информатики Стэнфордского университета.

  • Лейзерсон, Чарльз Эрик

    Чарльз Эрик Лейзерсон  — профессор, американский специалист в области компьютерных наук, информатики. Специализируется на теории параллельных и распределённых вычислений и частично — практическим её применениям. Работая в этом направлении, разработал язык программирования Cilk для многопотоковых вычислений, который использует один из лучших алгоритмов захвата задачи (англ. work-stealing) при планировании.

  • Аллен, Фрэнсис Элизабет

    План Введение 1 Биография 2 Награды Список литературы Введение Фрэнсис Элизабет Аллен (англ. Frances Elizabeth Allen, 1932 года, Нью-Йорк, США) — американский учёный в области теории вычислительных систем. Первая женщина, награждённая премией Тьюринга.[1]

  • Кларк, Эдмунд Мельсон

    План Введение 1 Биография 2 Книги 3 Награды Список литературы Введение Эдмунд Мельсон Кларк младший (англ. Edmund Melson Clarke, Jr., 27 июля 1945 года, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В настоящее время является профессором информатики в университете Карнеги — Меллон.

  • Сакристан, Мануэль

    Мануэль Сакристан Лусон (исп. Manuel Sacristán Luzón , 5 сентября 1925, Мадрид — 27 августа 1985, Барселона) — испанский философ-марксист, переводчик и общественно-политический деятель. Профессор Барселонского университета. Кроме множества других переводов, Мануэль Сакристан сделал доступными испанским читателям «Капитал» Карла Маркса, работы Антонио Грамши, Дьёрдя Лукача, Эрнста Фишера, Герберта Маркузе, Ульрики Майнхоф и др.

  • Грей, Джим

    Введение 1 Биография 1.1 Исчезновение 2 Книги 3 Награды Список литературы Введение Джеймс Николас «Джим» Грей (англ. James Nicholas "Jim" Gray, 1944, Сан-Франциско) — учёный в области теории вычислительных систем. Награждён в 1998 году премией Тьюринга за вклад в развитие баз данных.