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

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

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

Биография

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

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

Награды

Примечания

  1. Allen Emerson on Britannica
  2. Kanellakis Award.
  3. ACM Award Citation / E Allen Emerson (недоступная ссылка)
  4. SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon Архивировано 11 июня 2011 года.
  5. The University of Texas at Austin — Department of Computer Sciences (недоступная ссылка)
  6. Объявлены лауреаты ежегодной Премии Тьюринга — Наука и техника — Компьюлента (недоступная ссылка). Дата обращения: 19 февраля 2009. Архивировано 21 февраля 2009 года.
  7. ACM Award Citation / E Allen Emerson (недоступная ссылка). Дата обращения: 19 февраля 2009. Архивировано 27 июня 2009 года.

Литература

Ссылки

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.