Ернест Аллен Емерсон (англ. Ernest Allen Emerson нар.2 червня 1954) — американський науковець в галузі теоретичної інформатики та верифікації, лауреат премії Тюрінга. Відомий завдяки створенню методу верифікації під назвою перевірка моделей.
| Ернест Аллен Емерсон | |
|---|---|
| англ. E. Allen Emerson | |
| Народився | 2 червня 1954 (69 років) Даллас, Техас |
| Країна | США |
| Діяльність | інформатик, інженер, викладач університету |
| Alma mater | Техаський університет, Гарвардський університет |
| Галузь | Інформатика |
| Заклад | Техаський університет |
| Науковий ступінь | доктор філософії |
| Науковий керівник | Едмунд Кларк |
| Вчителі | Едмунд Кларк |
| Аспіранти, докторанти | Munindar P. Singhd Vineet Kahlond Nina Amlad Richard Jay Treflerd Kedar Sharadchandra Namjoshid Giacomo Lenzid Paul Camille Attied Subramanian Iyerd Thomas Wahld Jyotirmoy Deshmukhd Chin-Laung Leid Roopsha Samantad Charanjit Jutlad |
| Відомий завдяки: | перевірка моделей |
| Нагороди | Премія Тюрінга (2007) |
| Особ. сторінка | www.cs.utexas.edu/~emerson/ |
Біографія Редагувати
Народився та виріс у Далласі, штат Техас. Ще школяром навчився програмувати в BASIC, Fortran та Algol.
Вивчав математику в Техаському університеті в Остіні, де здобув ступінь бакалавра 1976 року. Перейшов до Гарвадського університету де 1981 року захистив дисертацію на ступінь доктора під керівництвом Едмунда Кларка. Після Гарварду повернувся до Техаського університету як викладач, де працює й понині.
2007 року, разом з Йосифом Сіфакісом та Едмундом Кларком, став лауреатом премії Тюрінга за їх спільне створення методу перевірки моделей.
Публікації Редагувати
- Emerson, E. Allen; Charanjit S. Jutla (1991). Tree automata, mu-calculus and determinacy. Foundations of Computer Science (IEEE).
- E. M. Clarke; E. A. Emerson; A. P. Sistla (April 1986). . ACM Transactions on Programming Languages and Systems (TOPLAS) (ACM) 8 (2): 244–263. doi:10.1145/5397.5399. Архів оригіналу за 6 березня 2016. Процитовано 21 січня 2016.
Примітки Редагувати
- E. Allen (Ernest) Emerson . Mathematics Genealogy Project [ 8 червня 2017 у Wayback Machine.].
- ↑ Математичний генеалогічний проєкт — 1997.
- ACM Turing Award 2007, E. A. Emerson [ 7 червня 2017 у Wayback Machine.].
Посилання Редагувати
- (англ. ) Перелік публікацій на DBLP [ 29 жовтня 2015 у Wayback Machine.].
- (англ. ) Перелік публікацій на Microsoft Academic Research [ 19 лютого 2016 у Wayback Machine.].
- (англ. ) .
| Це незавершена стаття про особу США. Ви можете допомогти проєкту, виправивши або дописавши її. |
| Це незавершена стаття про науковця. Ви можете допомогти проєкту, виправивши або дописавши її. |