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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Эрнест Аллен Эмерсон
Ernest Allen Emerson
Дата рождения:

2 июня 1954({{padleft:1954|4|0}}-{{padleft:6|2|0}}-{{padleft:2|2|0}}) (59 лет)

Место рождения:

Даллас[1]

Страна:

СШАFlag of the United States.svg США

Научная сфера:

Информатика

Место работы:

Университет Техаса

Альма-матер:

Университет Техаса, Гарвардский университет

Научный руководитель:

Кларк, Эдмунд Мельсон

Известен как:

Проверка моделей

Награды и премии


Премия Тьюринга

Сайт:

http://www.cs.utexas.edu/~emerson/

Эрнест Аллен Эмерсон (англ. Ernest Allen Emerson; род. 2 июня 1954[источник не указан 1179 дней], Даллас, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В настоящее время является профессором информатики в университете Техаса.

Биография[править | править исходный текст]

Эмерсон получил степень бакалавра по математике в университете Техаса в 1976 году. Позже, в 1981 году, он приобрёл титул доктора философии в Гарвардском университете.

Награждён в 2007 году вместе со своим научным руководителем Эдмундом Кларком и Иосифом Сифакисом премией Тьюринга за вклад в развитие теории проверки моделей.

Награды[править | править исходный текст]

Примечания[править | править исходный текст]

См. также[править | править исходный текст]

Ссылки[править | править исходный текст]