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