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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Ернест Аллен Емерсон
англ. E. Allen Emerson
Народився2 червня 1954(1954-06-02) (70 років)
Даллас, Техас
КраїнаСША США
Діяльністьінформатик, інженер, викладач університету
Alma materТехаський університет,
Гарвардський університет
ГалузьІнформатика
ЗакладТехаський університет
Науковий ступіньдоктор філософії
Науковий керівникЕдмунд Кларк[1]
ВчителіЕдмунд Кларк
Аспіранти, докторантиMunindar P. Singhd
Vineet KahlondМатематичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]-2">[2]
Nina AmladМатематичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]-2">[2]
Richard Jay TreflerdМатематичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]-2">[2]
Kedar Sharadchandra NamjoshidМатематичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]-2">[2]
Giacomo LenzidМатематичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]-2">[2]
Paul Camille AttiedМатематичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]-2">[2]
Subramanian IyerdМатематичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]-2">[2]
Thomas WahldМатематичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]-2">[2]
Jyotirmoy DeshmukhdМатематичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]-2">[2]
Chin-Laung LeidМатематичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]-2">[2]
Roopsha SamantadМатематичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]-2">[2]
Charanjit JutladМатематичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]-2">[2]
Відомий завдяки:перевірка моделей
НагородиПремія Тюрінга (2007)
Особ. сторінкаwww.cs.utexas.edu/~emerson/

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

Біографія

[ред. | ред. код]

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

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

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

Публікації

[ред. | ред. код]
  • 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. ↑ Математичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]
_2-0">а Математичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]
_2-1">б Математичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]
_2-2">в Математичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]
_2-3">г Математичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]
_2-4">д Математичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]