Едмунд Кларк (; 27 липня 1945 — 22 грудня 2020) — американський науковець в галузі теоретичної інформатики та верифікації, лауреат премії Тюрінга. Відомий через створення методу верифікації під назвою перевірка моделей, а також завдяки розробленню однієї з поширених темпоральних логік — CTL.
Біографія Вивчав математику у вірджинському університеті, де 1967 року здобув ступінь бакалавра. Наступного року здобув ступінь магістра (в математиці) від дюкського університету та перейшов до корнелльського університету де вивчав інформатику та здобув ступінь доктора 1976 року. Повернувся до дюкського університету, де два роки викладав інформатику. 1978 року приєднався до гарвардського університету як професор та викладав там до 1982 року, після чого перейшов до департаменту інформатики в університеті Карнегі-Меллон.Short bio. Carnegie Mellon Unviersity .
Разом з Йосифом Сіфакісом та Ернестом Емерсоном, став лауреатом премії Тюрінга (2007 року) за їх спільне створення методу перевірки моделей.ACM Turing Award 2007, Edmund M. Clarke .
Публікації
Edmund M. Clarke. The birth of model checking , 25 Years of Model Checking (2008): 1-26.
Підручники
Примітки
Посилання () Перелік публікацій на DBLP . () Microsoft academic research . () Heidelberg Laureate Forum.