Едмунд Кларк

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Едмунд Кларк
англ. Edmund Melson Clarke, Jr.
Едмунд Кларк, 2012
Едмунд Кларк, 2012
Народився 27 липня 1945(1945-07-27) (74 роки)
Ньюпорт-Ньюс, Вірджинія
Громадянство США США
Діяльність інформатик, професор, дослідник, інженер
Alma mater Вірджинський університет,
Дюкський університет,
Корнелльський університет
Сфера інтересів Інформатика
Заклад Дюкський університет,
Гарвардський університет,
Університет Карнегі-Меллон
Науковий керівник Robert Lee Constable[1]
Відомі учні Ернест Аллен Емерсон
Член Інститут інженерів з електротехніки та електроніки, Американська академія мистецтв і наук[2], Національна інженерна академія США[d][3] і Association for Computing Machinery
Відомий завдяки: перевірка моделей,
логіка дерев обчислень[en] CTL
Нагороди Премія Тюрінга (2007)
Особ. сторінка мова|англ.] [1]]

Едмунд Кларк у Вікісховищі?

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

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

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

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

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

Підручники[ред. | ред. код]

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

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