Эрнест Аллен Эмерсон (англ. Ernest Allen Emerson; 2 июня 1954[1], Даллас, США — 15 октября 2024) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. Был профессором информатики в университете Техаса.
| Эрнест Аллен Эмерсон | |
|---|---|
| англ. Ernest Allen Emerson | |
.jpg) | |
| Дата рождения | 2 июня 1954 |
| Место рождения | Даллас[1] |
| Дата смерти | 15 октября 2024[2] (70 лет) |
| Место смерти | |
| Страна |
 США |
| Род деятельности | специалист в области информатики, инженер, преподаватель университета |
| Научная сфера | Информатика |
| Место работы | Университет Техаса |
| Альма-матер | Университет Техаса, Гарвардский университет |
| Научный руководитель | Кларк, Эдмунд Мельсон |
| Известен как | Проверка моделей |
| Награды и премии | Премия Тьюринга |
| Сайт | cs.utexas.edu/~emerson/ |
 Медиафайлы на Викискладе | |
Биография
правитьЭмерсон получил степень бакалавра по математике в Техасском университете в Остине в 1976 году и степень доктора философии в области прикладной математики в Гарвардском университете в 1981 году[3].
Награждён в 2007 году вместе со своим научным руководителем Эдмундом Кларком и Иосифом Сифакисом премией Тьюринга за вклад в развитие теории проверки моделей.
Умер 15 октября 2024 года в возрасте 70 лет[4].
Награды
править- 1998 — Paris Kanellakis Award (ACM)[5]
- 1999 — Allen Newell Award (факультет информатики университета Карнеги — Меллон)[6]
- 2006 — Test-of-Time Award (IEEE)[7]
- 2007 — Премия Тьюринга вместе с Кларком и Сифакисом за их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения[8][9]
Примечания
править- ↑ 1 2 Allen Emerson on Britannica
- ↑ We bid farewell to E. Allen Emerson (англ.) — 2024.
- ↑ Kanellakis Award.
- ↑ We bid farewell to E. Allen Emerson (англ.). Heidelberg Laureate Foundation. Дата обращения: 20 октября 2024.
- ↑ 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 года.
Ссылки
править- Страница профессора Эмерсона на сайте университета Техаса (англ.)