Эмерсон, Эрнест Аллен
Эрнест Аллен Эмерсон (англ. Ernest Allen Emerson; род. 2 июня 1954[1], Даллас, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В настоящее время является профессором информатики в университете Техаса.
| Эрнест Аллен Эмерсон | |
|---|---|
| Ernest Allen Emerson | |
| Дата рождения | 2 июня 1954 (67 лет) |
| Место рождения | Даллас[1] |
| Страна | США |
| Научная сфера | Информатика |
| Место работы | Университет Техаса |
| Альма-матер | Университет Техаса, Гарвардский университет |
| Учёная степень | доктор философии |
| Научный руководитель | Кларк, Эдмунд Мельсон |
| Известен как | Проверка моделей |
| Награды и премии | Премия Тьюринга |
| Сайт | cs.utexas.edu/~emerson/ |
Биография
Эмерсон получил степень бакалавра по математике в Техасском университете в Остине в 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]
Примечания
- Allen Emerson on Britannica
- Kanellakis Award.
- ACM Award Citation / E Allen Emerson (недоступная ссылка)
- SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon Архивировано 11 июня 2011 года.
- The University of Texas at Austin — Department of Computer Sciences (недоступная ссылка)
- Объявлены лауреаты ежегодной Премии Тьюринга — Наука и техника — Компьюлента (недоступная ссылка). Дата обращения: 19 февраля 2009. Архивировано 21 февраля 2009 года.
- ACM Award Citation / E Allen Emerson (недоступная ссылка). Дата обращения: 19 февраля 2009. Архивировано 27 июня 2009 года.
Литература
- Wilson Ann. ACM Bestows Kanellakis Award For Development of "Symbolic Model Checking," Used In Testing Computer System Designs. Ассоциация вычислительной техники (26 марта 1999). Архивировано 5 июня 2011 года.
Ссылки
- Страница профессора Эмерсона на сайте университета Техаса (англ.)
 | ||||
|---|---|---|---|---|
| Словари и энциклопедии | ||||
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.