Ернест Аллен Емерсон

Ернест Аллен Емерсон
англ. E. Allen Emerson
Народився	2 червня 1954(1954-06-02) (70 років) Даллас, Техас
Помер	15 жовтня 2024(2024-10-15)[2]  (70 років) Остін, США
Країна	США
Діяльність	інформатик, інженер, викладач університету
Alma mater	Техаський університет, Гарвардський університет
Галузь	Інформатика
Заклад	Техаський університет
Науковий керівник	Едмунд Кларк[1]
Аспіранти, докторанти	Munindar P. Singh^d  Vineet Kahlon^d[3]  Nina Amla^d[3]  Richard Jay Trefler^d[3]  Kedar Sharadchandra Namjoshi^d[3]  Giacomo Lenzi^d[3]  Paul Camille Attie^d[3]  Subramanian Iyer^d[3]  Thomas Wahl^d[3]  Jyotirmoy Deshmukh^d[3]  Chin-Laung Lei^d[3]  Roopsha Samanta^d[3]  Charanjit Jutla^d[3]
Відомий завдяки:	перевірка моделей
Нагороди	Премія Тюрінга (2007)
Особ. сторінка	www.cs.utexas.edu/~emerson/
Ернест Аллен Емерсон у Вікісховищі

Ернест Аллен Емерсон (англ. Ernest Allen Emerson; нар. 2 червня 1954)  — американський науковець в галузі теоретичної інформатики та верифікації, лауреат премії Тюрінга. Відомий завдяки створенню методу верифікації під назвою перевірка моделей.

Біографія

Народився та виріс у Далласі, штат Техас. Ще школяром навчився програмувати в BASIC, Fortran та Algol.

Вивчав математику в Техаському університеті в Остіні, де здобув ступінь бакалавра 1976 року. Перейшов до Гарвадського університету де 1981 року захистив дисертацію на ступінь доктора під керівництвом Едмунда Кларка. Після Гарварду повернувся до Техаського університету як викладач, де працює й понині.

2007 року, разом з Йосифом Сіфакісом та Едмундом Кларком, став лауреатом премії Тюрінга за їх спільне створення методу перевірки моделей.[4]

Публікації

• Emerson, E. Allen; Charanjit S. Jutla (1991). Tree automata, mu-calculus and determinacy (PDF). Foundations of Computer Science. IEEE.
• E. M. Clarke; E. A. Emerson; A. P. Sistla (April 1986). Automatic verification of finite-state concurrent systems using temporal logic specifications (PDF). ACM Transactions on Programming Languages and Systems (TOPLAS). ACM. 8 (2): 244—263. doi:10.1145/5397.5399. Архів оригіналу (PDF) за 6 березня 2016. Процитовано 21 січня 2016.

Примітки

1. E. Allen (Ernest) Emerson . Mathematics Genealogy Project [Архівовано 8 червня 2017 у Wayback Machine.].
2. We bid farewell to E. Allen Emerson — 2024.
3. Математичний генеалогічний проєкт — 1997.
   d:Track:Q829984
4. ACM Turing Award 2007, E. A. Emerson [Архівовано 7 червня 2017 у Wayback Machine.].

Посилання

• (англ. ) Перелік публікацій на DBLP [Архівовано 29 жовтня 2015 у Wayback Machine.].
• (англ. ) Перелік публікацій на Microsoft Academic Research [Архівовано 19 лютого 2016 у Wayback Machine.].
• (англ. ) Heidelberg Laureate Forum.

Біографії   США   Математика