- Эмерсон, Эрнест Аллен
-
Эрнест Аллен Эмерсон Ernest Allen Emerson Дата рождения: Место рождения: Страна: Научная сфера: Место работы: Альма-матер: Научный руководитель: Известен как: Награды и премии Сайт: Эрнест Аллен Эмерсон (англ. Ernest Allen Emerson; род. 2 июня 1954 , Даллас, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В настоящее время является профессором информатики в университете Техаса.
Содержание
Биография
Эмерсон получил степень бакалавра по математике в университете Техаса в 1976 году. Позже, в 1981 году, он приобрёл титул доктора философии в Гарвардском университете.
Награждён в 2007 году вместе со своим научным руководителем Эдмундом Кларком и Иосифом Сифакисом премией Тьюринга за вклад в развитие теории проверки моделей.
Награды
- 1998 — Paris Kanellakis Award (ACM)[2]
- 1999 — Allen Newell Award (факультет информатики университета Карнеги — Меллон)[3]
- 2006 — Test-of-Time Award (IEEE)[4]
- 2007 — Премия Тьюринга вместе с Кларком и Сифакисом за их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения[5][6]
Примечания
- ↑ IEEE Xplore - Abstract Page
- ↑ ACM Award Citation / E Allen Emerson
- ↑ SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon
- ↑ The University of Texas at Austin — Department of Computer Sciences
- ↑ Объявлены лауреаты ежегодной Премии Тьюринга — Наука и техника — Компьюлента
- ↑ ACM Award Citation / E Allen Emerson
См. также
Ссылки
- Страница профессора Эмерсона на сайте университета Техаса (англ.)
Лауреаты премии Тьюринга Перлис (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) • Текер (2009) • Вэлиант (2010) • Перл (2011)
У этой статьи нет иллюстраций. Вы можете помочь проекту, добавив их (с соблюдением правил использования изображений).
Для поиска иллюстраций можно:- попробовать воспользоваться инструментом FIST: нажмите эту ссылку, чтобы начать поиск;
- попытаться найти изображение на Викискладе;
- просмотреть иноязычные варианты статьи (если они есть);
- см. также Википедия:Источники изображений.
Категории:- Персоналии по алфавиту
- Учёные по алфавиту
- Родившиеся 2 июня
- Родившиеся в 1954 году
- Родившиеся в Далласе
- Лауреаты премии Тьюринга
- Учёные в области информатики США
- Учёные США
- Выпускники университета Техаса
- Выпускники Гарварда
Wikimedia Foundation. 2010.