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

Эрнест Аллен Эмерсон
Ernest Allen Emerson
Дата рождения:
Место рождения:	США, Даллас[1]
Гражданство:	США
Научная сфера:	Информатика
Место работы:	Университет Техаса
Альма-матер:	Университет Техаса, Гарвардский университет
Научный руководитель:	Кларк, Эдмунд Мельсон
Известен как:	Проверка моделей
Награды и премии	Премия Тьюринга
Сайт:	http://www.cs.utexas.edu/~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]

Примечания

1. ↑ http://ieeexplore.ieee.org/iel5/43/34104/01624512.pdf
2. ↑ http://awards.acm.org/citation.cfm?id=1671460&srt=alpha&alpha=E&aw=147&ao=KANELLAK
3. ↑ http://www.scs.cmu.edu/people/achievements/newell/newellmedal_winners.html
4. ↑ http://www.cs.utexas.edu/oea/press_desk/utcs_spotlights/2008/acm_turing_award/index.shtml
5. ↑ http://science.compulenta.ru/347274/
6. ↑ http://awards.acm.org/citation.cfm?id=1671460&srt=all&aw=140&ao=AMTURING

См. также

• Кларк, Эдмунд Мельсон
• Сифакис, Иосиф
• Проверка моделей

Ссылки

• Страница профессора Эмерсона на сайте университета Техаса (англ.)

Лауреаты премии Тьюринга

Перлис (1966) • Уилкс (1967) • Хэмминг (1968) • Минский (1969) • Уилкинсон (1970) • Маккарти (1971) • Дейкстра (1972) • Бахман (1973) • Кнут (1974) • Ньюэлл / Саймон (1975) • Рабин / Скотт (1976) • Бэкус (1977) • Флойд (1978) • Айверсон (1979) • Хоар (1980) • Кодд (1981) • Кук (1982) • Томпсон / Ритчи (1983) • Вирт (1984) • Карп (1985) • Хопкрофт / Тарьян (1986) • Кок (1987) • Сазерленд (1988) • Кэхэн (1989) • Корбато (1990) • Милнер (1991) • Лэмпсон (1992) • Хартманис / Стернс (1993) • Фейгенбаум / Редди (1994) • Блюм (1995) • Пнуели (1996) • Энгельбарт (1997) • Грей (1998) • Брукс (1999) • Яо (2000) • Даль / Нигаард (2001) • Ривест / Шамир / Адлеман (2002) • Кэй (2003) • Серф / Кан (2004) • Наур (2005) • Аллен (2006) • Кларк / Эмерсон / Сифакис (2007) • Лисков (2008)