Про знаменитості
Ернест Аллен Емерсон: біографія
-
американський вчений у галузі теорії обчислювальних систем, лауреат премії Тьюринга
Біографія
Емерсон отримав ступінь бакалавра з математики в університеті Техасу в 1976 році. Пізніше, в 1981 році, він придбав титул доктора філософії в Гарвардському університеті.
Нагороджений в 2007 році разом зі своїм науковим керівником Едмундом Кларком та Йосипом Сіфакіс премією Тюрінга за внесок у розвиток теорії перевірки моделей.
Нагороди
- 2006 - Test-of-Time Award (IEEE)
- 1998 - Paris Kanellakis Award (ACM)
- 1999 - Allen Newell Award (факультет інформатики університету Карнегі - Меллон)
- 2007 - Премія Тьюрінга разом з Кларком і Сіфакісза їх роль у розвитку перевірки моделей - високо ефективну техніку верифікації програм, широко застосовується при розробці як програмного так і апаратного забезпечення
