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

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

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

БиографияПравить

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

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

НаградыПравить

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