Реферат Эмерсон, Эрнест Аллен
Работа добавлена на сайт 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. Реферат Предпринимательские риски 2
3. Диплом на тему Особливості експертизи кисломолочних сирів порядок та правила перепуску їх через митний кордон України
4. Курсовая Комплексны аналіз публіцыстычных твораў С Буднага
5. Реферат Анализ ассортимента, надежности и факторов, сохраняющих качество ковров и ковровых изделий
6. Шпаргалка на тему Основные понятия бухгалтерского учета
7. Лекция на тему Форум РНР ВВ
8. Реферат на тему Исследование ДНК волос для идентификации личности
9. Курсовая на тему Схема и основные характеристики технологической установки
10. Реферат Структура философского знания 4