Э. Аллен Эмерсон - Википедия - E. Allen Emerson

Эрнест Аллен Эмерсон II
Родившийся (1954-06-02) 2 июня 1954 г. (возраст 66)
ГражданствоСоединенные Штаты
ОбразованиеГарвард (Доктор философии 1981 г.)
НаградыПремия Пэрис Канеллакис в области теории и практики (1998)
Премия Тьюринга (2007)
Научная карьера
ПоляИнформатика
УчрежденияТехасский университет, Остин, Соединенные Штаты
ДокторантЭдмунд М. Кларк

Э. Аллен Эмерсон (родился 2 июня 1954 г.) - американец специалист в области информатики. Он является почетным профессором и регентом кафедры Техасский университет, Остин, Соединенные Штаты.

Он выиграл 2007 ЯВЛЯЮСЬ. Премия Тьюринга вместе с Эдмунд М. Кларк и Джозеф Сифакис за изобретение и разработку проверка модели.[1]Он также является лауреатом премии 1998 г. ACM Премия Пэрис Канеллакис Премия "Теория и практика" за проверку символьных моделей.[2]

Он получил свой BS степень по математике Техасский университет, Остин в 1976 г.[3] и его кандидат наук степень по прикладной математике в Гарвардский университет в 1981 г.[3]

Смотрите также

внешняя ссылка

Рекомендации

  1. ^ «Премия ACM Turing награждает основателей технологии автоматической проверки, которая позволяет создавать более быстрые и надежные конструкции». 4 февраля 2008 г.
  2. ^ НАГРАДЫ - Э. АЛЛЕН ЭМЕРСОН - «Премия ACM A.M. Тьюринга» и «Премия Пэрис Канеллакис за теорию и практику»'". Ассоциация вычислительной техники. 2015. В архиве из оригинала 21 июля 2015 г.. Получено 21 июля, 2015. […] Является автором основополагающих статей, которые положили начало тому, что стало очень успешной областью проверки моделей.
  3. ^ а б «Премия Канеллакиса». Ассоциация вычислительной техники. 26 марта 1999 г. Архивировано с оригинал 5 июня 2011 г.. Получено 5 февраля, 2008.
  4. ^ (альтернативный URL: http://www.cs.utexas.edu/users/emerson/ )