Реферат Эмерсон, Эрнест Аллен
Работа добавлена на сайт bukvasha.net: 2015-10-28Поможем написать учебную работу
Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.

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

Подписываем
договор
План
Введение
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]
Список литературы:
- http://ieeexplore.ieee.org/iel5/43/34104/01624512.pdf
- ACM Award Citation / E Allen Emerson
- SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon
- The University of Texas at Austin — Department of Computer Sciences
- Объявлены лауреаты ежегодной Премии Тьюринга — Наука и техника — Компьюлента
- ACM Award Citation / E Allen Emerson
Источник: http://ru.wikipedia.org/wiki/Эмерсон,_Эрнест_Аллен
2. Сочинение на тему Литературный герой АЛКЕСТА
3. Конспект Космос. Планеты солнечной системы
4. Реферат Выработка маркетинговой стратегии и оценка прибыли при подготовке к выпуску ассортиментной проду
5. Реферат на тему Утворення давньоруської держави проблеми походження суспільного ус
6. Реферат на тему Еще раз о роли Чингис-хана в истории
7. Реферат Поняття і роль мотивації в менеджменті
8. Контрольная работа на тему Конституционные основы регулирования природопользования и охраны окружающей среды
9. Реферат Здоровьесберегающие технологии в современном мире помоги себе сам
10. Контрольная работа на тему Культ личности Сталина