- Эмерсон, Аллен
-
Эрнест Аллен Эмерсон Ernest Allen Emerson Дата рождения: Место рождения: Гражданство: Научная сфера: Место работы: Альма-матер: Научный руководитель: Известен как: Награды и премии Сайт: Эрнест Аллен Эмерсон (англ. Ernest Allen Emerson, Даллас, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В настоящее время является профессором информатики в университете Техаса.
Содержание
Биография
Эмерсон получил степень бакалавра по математике в университете Техаса в 1976 году. Позже, в 1981 году, он приобрёл титул доктора философии в Гарвардском университете.
Награждён в 2007 году вместе со своим научным руководителем Эдмундом Кларком и Иосифом Сифакисом премией Тьюринга за вклад в развитие теории проверки моделей.
Награды
- 1998 — Paris Kanellakis Award (ACM)[2]
- 1999 — Allen Newell Award (факультет информатики университета Карнеги — Меллон)[3]
- 2006 — Test-of-Time Award (IEEE)[4]
- 2007 — Премия Тьюринга вместе с Кларком и Сифакисом за их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения[5][6]
Примечания
- ↑ http://ieeexplore.ieee.org/iel5/43/34104/01624512.pdf
- ↑ http://awards.acm.org/citation.cfm?id=1671460&srt=alpha&alpha=E&aw=147&ao=KANELLAK
- ↑ http://www.scs.cmu.edu/people/achievements/newell/newellmedal_winners.html
- ↑ http://www.cs.utexas.edu/oea/press_desk/utcs_spotlights/2008/acm_turing_award/index.shtml
- ↑ http://science.compulenta.ru/347274/
- ↑ http://awards.acm.org/citation.cfm?id=1671460&srt=all&aw=140&ao=AMTURING
См. также
Ссылки
- Страница профессора Эмерсона на сайте университета Техаса (англ.)
Wikimedia Foundation. 2010.