WikiSort.ru - Не сортированное

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

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

Биография

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

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

Награды

Примечания

Литература

Ссылки

Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .




Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2024
WikiSort.ru - проект по пересортировке и дополнению контента Википедии