Едмунд Кларк

У Вікіпедії є статті про інших людей із прізвищем Кларк.

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

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

Біографія

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

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

Публікації

• Edmund M. Clarke; Jeannette M. Wing (Dec. 1996). (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). (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). (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.

Підручники

• Edmund M. Clarke Jr.; Orna Grumberg; Doron A. Peled (1999). Model Checking (англ. ) . MIT Press. ISBN .

Примітки

1. Edmund Clarke. Mathematics Genealogy Project [ 3 березня 2016 у Wayback Machine.].
2. Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors
3. Математичний генеалогічний проєкт — 1997.
   d:Track:Q829984
4. https://www.amacad.org/multimedia/pdfs/publications/bookofmembers/ChapterC.pdf
5. https://www.nae.edu/MembersSection/MemberDirectory/30873.aspx
6. https://awards.acm.org/fellows/award-recipients
7. Short bio. Carnegie Mellon Unviersity [ 1 грудня 2009 у Wayback Machine.].
8. ACM Turing Award 2007, Edmund M. Clarke [ 7 вересня 2017 у Wayback Machine.].

Посилання

• (англ. ) Перелік публікацій на DBLP [ 12 вересня 2015 у Wayback Machine.].
• (англ. ) Microsoft academic research [ 20 лютого 2016 у Wayback Machine.].
• (англ. ) .