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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук
Ернест Аллен Емерсон
англ. E. Allen Emerson
Народився 2 червня 1954(1954-06-02) (63 роки)
Даллас, Техас
Громадянство США США
Alma mater Техаський університет,
Гарвардський університет
Галузь наукових інтересів Інформатика
Заклад Техаський університет
Науковий керівник Едмунд Кларк[1]
Відомий завдяки: перевірка моделей[en]
Нагороди Премія Тюрінга (2007)
Особ. сторінка www.cs.utexas.edu/~emerson/

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

Біографія[ред.ред. код]

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

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

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

Публікації[ред.ред. код]

Примітки[ред.ред. код]

Посилання[ред.ред. код]

США Це незавершена стаття про особу США.
Ви можете допомогти проекту, виправивши або дописавши її.