рефераты, курсовые

Опубликовать


Загрузка...

Эмерсон, Эрнест Аллен

Категория: История
Тип: Реферат
Размер: 3.1кб.
скачать
Загрузка...

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

Введение


Эрнест Аллен Эмерсон (англ. Ernest Allen Emerson, Даллас, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В настоящее время является профессором информатики в университете Техаса.

1. Биография


Эмерсон получил степень бакалавра по математике в университете Техаса в 1976 году. Позже, в 1981 году, он приобрёл титул доктора философии в Гарвардском университете.

Награждён в 2007 году вместе со своим научным руководителем Эдмундом Кларком и Иосифом Сифакисом премией Тьюринга за вклад в развитие теории проверки моделей.

2. Награды

  • 1998 — Paris Kanellakis Award (ACM)[2]
  • 1999 — Allen Newell Award (факультет информатики университета Карнеги — Меллон)[3]
  • 2006 — Test-of-Time Award (IEEE)[4]
  • 2007 — Премия Тьюринга вместе с Кларком и Сифакисом за их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения[5][6]

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

  1. http://ieeexplore.ieee.org/iel5/43/34104/01624512.pdf
  2. ACM Award Citation / E Allen Emerson
  3. SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon
  4. The University of Texas at Austin — Department of Computer Sciences
  5. Объявлены лауреаты ежегодной Премии Тьюринга — Наука и техника — Компьюлента
  6. ACM Award Citation / E Allen Emerson

Источник: http://ru.wikipedia.org/wiki/Эмерсон,_Эрнест_Аллен

Похожие работы:
Эмерсон
12 принципов производительности Эмерсон
Пол Аллен
Аллен, Фрэнсис Элизабет
Легкий способ бросить курить. Аллен Карр
Эрнест Хемингуэй
Эрнест Ренан
Эрнест Лависс
Бирон Эрнест-Иоганн

Рейтинг@Mail.ru
© Права на базу данных защищены
При копировании материала укажите ссылку