Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
Ернест Аллен Емерсон (англ. Ernest Allen Emerson нар.2 червня 1954) — американський науковець в галузі теоретичної інформатики та верифікації, лауреат премії Тюрінга. Відомий завдяки створенню методу верифікації під назвою перевірка моделей.
| Ернест Аллен Емерсон | |
|---|---|
| англ. E. Allen Emerson | |
 | |
| Народився | 2 червня 1954 (70 років) Даллас, Техас |
| Країна |  США |
| Діяльність | інформатик, інженер, викладач університету |
| Alma mater | Техаський університет, Гарвардський університет |
| Галузь | Інформатика |
| Заклад | Техаський університет |
| Науковий ступінь | доктор філософії |
| Науковий керівник | Едмунд Кларк |
| Вчителі | Едмунд Кларк |
| Аспіранти, докторанти | d d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] |
| Відомий завдяки: | перевірка моделей |
| Нагороди | Премія Тюрінга (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 (PDF). Foundations of Computer Science. IEEE.
- E. M. Clarke; E. A. Emerson; A. P. Sistla (April 1986). (PDF). ACM Transactions on Programming Languages and Systems (TOPLAS). ACM. 8 (2): 244—263. doi:10.1145/5397.5399. Архів оригіналу (PDF) за 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.].
- (англ. ) .
 | Це незавершена стаття про особу США. Ви можете проєкту, виправивши або дописавши її. |
 | Це незавершена стаття про науковця. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Ernest Allen Emerson angl Ernest Allen Emerson nar 2 chervnya 1954 amerikanskij naukovec v galuzi teoretichnoyi informatiki ta verifikaciyi laureat premiyi Tyuringa Vidomij zavdyaki stvorennyu metodu verifikaciyi pid nazvoyu perevirka modelej Ernest Allen Emersonangl E Allen EmersonNarodivsya2 chervnya 1954 1954 06 02 70 rokiv Dallas TehasKrayinaSShADiyalnistinformatik inzhener vikladach universitetuAlma materTehaskij universitet Garvardskij universitetGaluzInformatikaZakladTehaskij universitetNaukovij stupindoktor filosofiyiNaukovij kerivnikEdmund KlarkVchiteliEdmund KlarkAspiranti doktorantid d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 Vidomij zavdyaki perevirka modelejNagorodiPremiya Tyuringa 2007 Osob storinkawww cs utexas edu emerson BiografiyaNarodivsya ta viris u Dallasi shtat Tehas She shkolyarom navchivsya programuvati v BASIC Fortran ta Algol Vivchav matematiku v Tehaskomu universiteti v Ostini de zdobuv stupin bakalavra 1976 roku Perejshov do Garvadskogo universitetu de 1981 roku zahistiv disertaciyu na stupin doktora pid kerivnictvom Edmunda Klarka Pislya Garvardu povernuvsya do Tehaskogo universitetu yak vikladach de pracyuye j ponini 2007 roku razom z Josifom Sifakisom ta Edmundom Klarkom stav laureatom premiyi Tyuringa za yih spilne stvorennya metodu perevirki modelej PublikaciyiEmerson 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 PDF ACM Transactions on Programming Languages and Systems TOPLAS ACM 8 2 244 263 doi 10 1145 5397 5399 Arhiv originalu PDF za 6 bereznya 2016 Procitovano 21 sichnya 2016 PrimitkiE Allen Ernest Emerson Mathematics Genealogy Project 8 chervnya 2017 u Wayback Machine Matematichnij genealogichnij proyekt 1997 d Track Q829984 ACM Turing Award 2007 E A Emerson 7 chervnya 2017 u Wayback Machine Posilannya angl Perelik publikacij na DBLP 29 zhovtnya 2015 u Wayback Machine angl Perelik publikacij na Microsoft Academic Research 19 lyutogo 2016 u Wayback Machine angl Ce nezavershena stattya pro osobu SShA Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi Ce nezavershena stattya pro naukovcya Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi