Реферат

Реферат Эмерсон, Эрнест Аллен

Работа добавлена на сайт bukvasha.net: 2015-10-28

Поможем написать учебную работу

Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.

Предоплата всего

от 25%

Подписываем

договор

Выберите тип работы:

Скидка 25% при заказе до 8.11.2024



План
Введение
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/Эмерсон,_Эрнест_Аллен

1. Курсовая Інтеграція планування і керування виробництвом і розподілом у логістиці
2. Контрольная работа на тему Международное публичное право
3. Реферат Характеристика развития и модернизации Российского государства
4. Реферат на тему The Raising Of Children Essay Research Paper
5. Реферат Проблемы управления маркетинговыми процессами предприятия
6. Реферат на тему Проблема трех морей Аральского Каспийского и Азовского
7. Реферат на тему Holocaust Essay Research Paper Holocaust originally a
8. Курсовая Характеристика товарных отношений как элементарной специфической формы
9. Реферат на тему Prostitution Essay Research Paper I Introduction Prostitution
10. Статья Множественность лиц в обязательствах по коммерческой поставке электроэнергии