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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Эрнест Аллен Эмерсон
Ernest Allen Emerson
Дата рождения 2 июня 1954(1954-06-02) (64 года)
Место рождения Даллас[1]
Страна США
Научная сфера Информатика
Место работы Университет Техаса
Альма-матер Университет Техаса, Гарвардский университет
Научный руководитель Кларк, Эдмунд Мельсон
Известен как Проверка моделей
Награды и премии Премия Тьюринга
Сайт cs.utexas.edu/~emerson/

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

Биография[править | править код]

Эмерсон получил степень бакалавра по математике в Техасском университете в Остине в 1976 году и степень доктора философии в области прикладной математики в Гарвардском университете в 1981 году[3].

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

Награды[править | править код]

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

Литература[править | править код]

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