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