Эмерсон, Эрнест Аллен
Эрнест Аллен Эмерсон (англ. Ernest Allen Emerson; род. 2 июня 1954[1], Даллас, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В настоящее время является профессором информатики в университете Техаса.
| Эрнест Аллен Эмерсон | |
|---|---|
| англ. Ernest Allen Emerson | |
 | |
| Дата рождения | 2 июня 1954 (69 лет) |
| Место рождения | Даллас[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]
Примечания править
- ↑ 1 2 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 года.
Ссылки править
- Страница профессора Эмерсона на сайте университета Техаса (англ.)