Узнать стоимость написания работы
Оставьте заявку, и в течение 5 минут на почту вам станут поступать предложения!
Реферат

Реферат по предмету "История"


Эмерсон, Эрнест Аллен

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



Не сдавайте скачаную работу преподавателю!
Данный реферат Вы можете использовать для подготовки курсовых проектов.

Поделись с друзьями, за репост + 100 мильонов к студенческой карме :

Пишем реферат самостоятельно:
! Как писать рефераты
Практические рекомендации по написанию студенческих рефератов.
! План реферата Краткий список разделов, отражающий структура и порядок работы над будующим рефератом.
! Введение реферата Вводная часть работы, в которой отражается цель и обозначается список задач.
! Заключение реферата В заключении подводятся итоги, описывается была ли достигнута поставленная цель, каковы результаты.
! Оформление рефератов Методические рекомендации по грамотному оформлению работы по ГОСТ.

Читайте также:
Виды рефератов Какими бывают рефераты по своему назначению и структуре.

Сейчас смотрят :

Реферат Концептуальная система личности
Реферат Балобан в волго-уральском регионе и на прилегающих территориях
Реферат Политические партии в дореволюционной России (1894 - 1916)
Реферат Гуманитарная роль математики в процессе подготовки учителя
Реферат Стратегії розвитку підприємств в ринкових умовах господарювання
Реферат Новаторство в поезii Павла Тичини
Реферат Современное меню: американский, французский и испанские подходы
Реферат Устойчивость линейной системы авторегулирования
Реферат Митна політика України на сучасному етапі
Реферат Анализ информационной системы организации Политика информационной безопасности организации
Реферат Деякі формати мультимедіа Використання шейдерів та фракталів
Реферат Представления о человеке в истории науки Индивидуальные и общественные потребности
Реферат Таможенный режим 3
Реферат Модемы и протоколы коммуникации
Реферат Система наказаний, её развитие и уголовно правовое значение