Реферат: Эмерсон, Эрнест Аллен - Refy.ru - Сайт рефератов, докладов, сочинений, дипломных и курсовых работ

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

Рефераты по истории » Эмерсон, Эрнест Аллен

Введение
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]

Список литературы:

ieeexplore.ieee/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

Источник: ru./wiki/Эмерсон,_Эрнест_Аллен