Эмерсон, Эрнест Аллен (|byjvku, |juyvm Gllyu)

В Википедии есть статьи о других людях с фамилией Эмерсон.

Эрнест Аллен Эмерсон
англ. Ernest Allen Emerson
Дата рождения	2 июня 1954(1954-06-02)
Место рождения	Даллас
Дата смерти	15 октября 2024(2024-10-15) (70 лет)
Место смерти	Остин, США
Страна	США
Род деятельности	специалист в области информатики, инженер, преподаватель университета
Научная сфера	Информатика
Место работы	Университет Техаса
Альма-матер	Университет Техаса, Гарвардский университет
Научный руководитель	Кларк, Эдмунд Мельсон
Известен как	Проверка моделей
Награды и премии	Премия Тьюринга
Сайт	cs.utexas.edu/~emerson/
Медиафайлы на Викискладе

Эрнест Аллен Эмерсон (англ. Ernest Allen Emerson; 2 июня 1954, Даллас, США — 15 октября 2024) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. Был профессором информатики в университете Техаса.

Биография

Эмерсон получил степень бакалавра по математике в Техасском университете в Остине в 1976 году и степень доктора философии в области прикладной математики в Гарвардском университете в 1981 году.

Награждён в 2007 году вместе со своим научным руководителем Эдмундом Кларком и Иосифом Сифакисом премией Тьюринга за вклад в развитие теории проверки моделей.

Умер 15 октября 2024 года в возрасте 70 лет.

Награды

• 1998 — Paris Kanellakis Award (ACM)
• 1999 — Allen Newell Award (факультет информатики университета Карнеги — Меллон)
• 2006 — Test-of-Time Award (IEEE)
• 2007 — Премия Тьюринга вместе с Кларком и Сифакисом за их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения

Литература

• Wilson Ann. ACM Bestows Kanellakis Award For Development of "Symbolic Model Checking," Used In Testing Computer System Designs  (неопр.). Ассоциация вычислительной техники (26 марта 1999). Архивировано 5 июня 2011 года.

Ссылки

• Страница профессора Эмерсона на сайте университета Техаса  (англ.)