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

Биография

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

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

Награды

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

Примечания

Литература

• Wilson Ann. (неопр.) . Ассоциация вычислительной техники (26 марта 1999). 5 июня 2011 года.

Ссылки

• на сайте университета Техаса (англ.)