Едмунд Кларк

американський науковець у галузі комп'ютерних технологій

Едмунд Кларк (англ. Edmund Clarke; 27 липня 1945 — 22 грудня 2020)  — американський науковець в галузі теоретичної інформатики та верифікації, лауреат премії Тюрінга. Відомий через створення методу верифікації під назвою перевірка моделей, а також завдяки розробленню однієї з поширених темпоральних логік — логіки дерев обчислень[en] CTL.

Едмунд Кларк
англ. Edmund Melson Clarke, Jr.
Едмунд Кларк, 2012
Едмунд Кларк, 2012
Едмунд Кларк, 2012
Народився27 липня 1945(1945-07-27) (79 років)
Ньюпорт-Ньюс, Вірджинія
Помер22 грудня 2020(2020-12-22)[2] (75 років) Редагувати інформацію у Вікіданих
Піттсбург, Пенсільванія, США Редагувати інформацію у Вікіданих
·коронавірусна хвороба 2019 (COVID-19)[2] Редагувати інформацію у Вікіданих
КраїнаСША США
Діяльністьінформатик, викладач університету, інженер, математик Редагувати інформацію у Вікіданих
Alma materВірджинський університет,
Дюкський університет,
Корнелльський університет
ГалузьІнформатика
ЗакладДюкський університет,
Гарвардський університет,
Університет Карнегі-Меллон
Науковий керівникRobert Lee Constable[1]
Відомі учніЕрнест Аллен Емерсон
Аспіранти, докторантиBhubaneswar Mishrad
Ернест Аллен Емерсон
Sicun Gaod[3]
David L. Dilld[3]
Kenneth L. McMilland[3]
Marius Minead[3]
Sergio Vale Aguiar Camposd[3]
Somesh Jhad[3]
Xudong Zhaod[3]
David Elsey Longd[3]
Jerry Robert Burchd[3]
Michael Browned[3]
Wilfredo Rogelio Marrerod[3]
Aravinda Prasad Sistlad[3]
Alex David Groced[3] Редагувати інформацію у Вікіданих
ЧленствоІнститут інженерів з електротехніки та електроніки
Американська академія мистецтв і наук[4]
Національна інженерна академія США[5]
Association for Computing Machinery[6] Редагувати інформацію у Вікіданих
Відомий завдяки:перевірка моделей,
логіка дерев обчислень[en] CTL
НагородиПремія Тюрінга (2007)
Особ. сторінкамова|англ.] [1]]

Біографія

ред.

Вивчав математику у вірджинському університеті, де 1967 року здобув ступінь бакалавра. Наступного року здобув ступінь магістра (в математиці) від дюкського університету та перейшов до корнелльського університету де вивчав інформатику та здобув ступінь доктора 1976 року. Повернувся до дюкського університету, де два роки викладав інформатику. 1978 року приєднався до гарвардського університету як професор та викладав там до 1982 року, після чого перейшов до департаменту інформатики в університеті Карнегі-Меллон.[7]

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

Публікації

ред.
  • Edmund M. Clarke; Jeannette M. Wing (Dec. 1996). Formal methods: state of the art and future directions (PDF). ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research. ACM. 28 (4): 626—643. doi:10.1145/242223.242257. Архів оригіналу (PDF) за 6 березня 2016. Процитовано 5 грудня 2015.
  • Edmund M. Clarke; Orna Grumberg; David E. Long (Sept. 1994). Model checking and abstraction (PDF). ACM Transactions on Programming Languages and Systems (TOPLAS). ACM. 16 (5): 1512—1542. doi:10.1145/186025.186051. Архів оригіналу (PDF) за 13 серпня 2017. Процитовано 5 грудня 2015.
  • 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. Процитовано 5 грудня 2015.
  • Edmund M. Clarke. The birth of model checking [Архівовано 9 серпня 2017 у Wayback Machine.], 25 Years of Model Checking (2008): 1-26.

Підручники

ред.

Примітки

ред.

Посилання

ред.