Реферат

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

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

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

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

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

от 25%

Подписываем

договор

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

Скидка 25% при заказе до 22.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. Реферат на тему Teen Workers Essay Research Paper Teen Workers
2. Реферат Мингун
3. Диплом Підвищення ефективності інноваційної діяльності в умовах ВАТ Дніпропетровський лакофарбовий
4. Реферат на тему Siberian Prison System Essay Research Paper PRISON
5. Статья на тему Чем различаются финансовый и управленческий учет
6. Отчет по практике Маркетинговый анализ ООО КераМир
7. Диплом на тему Главные ошибки марксизма и пути их преодоления
8. Реферат на тему Le Cher JeanLuc Essay Research Paper Le
9. Реферат на тему Invisable Man
10. Реферат на тему Влияние физических факторов на организм человека на примере электро