Едмунд Кларк
Едмунд Кларк (англ. Edmund Clarke; 27 липня 1945 — 22 грудня 2020) — американський науковець в галузі теоретичної інформатики та верифікації, лауреат премії Тюрінга. Відомий через створення методу верифікації під назвою перевірка моделей, а також завдяки розробленню однієї з поширених темпоральних логік — логіки дерев обчислень[en] CTL.
Вивчав математику у вірджинському університеті, де 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.
- Edmund M. Clarke Jr.; Orna Grumberg; Doron A. Peled (1999). Model Checking (англ. ) . MIT Press. ISBN 978-0262032704.
- ↑ Edmund Clarke. Mathematics Genealogy Project [Архівовано 3 березня 2016 у Wayback Machine.].
- ↑ а б Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors
- ↑ а б в г д е ж и к л м н п Математичний генеалогічний проєкт — 1997.
- ↑ https://www.amacad.org/multimedia/pdfs/publications/bookofmembers/ChapterC.pdf
- ↑ https://www.nae.edu/MembersSection/MemberDirectory/30873.aspx
- ↑ https://awards.acm.org/fellows/award-recipients
- ↑ Short bio. Carnegie Mellon Unviersity [Архівовано 1 грудня 2009 у Wayback Machine.].
- ↑ ACM Turing Award 2007, Edmund M. Clarke [Архівовано 7 вересня 2017 у Wayback Machine.].
- (англ. ) Перелік публікацій на DBLP [Архівовано 12 вересня 2015 у Wayback Machine.].
- (англ. ) Microsoft academic research [Архівовано 20 лютого 2016 у Wayback Machine.].
- (англ. ) Heidelberg Laureate Forum.
 | |
|---|---|
| Література та бібліографія | |
| Наука | |
| Тематичні сайти | |
| Словники та енциклопедії | |
| Довідкові видання | |
| Нормативний контроль |
|
Це незавершена стаття про особу США. Ви можете допомогти проєкту, виправивши або дописавши її. |
|
Це незавершена стаття про науковця. Ви можете допомогти проєкту, виправивши або дописавши її. |
- Народились 27 липня
- Народились 1945
- Померли 22 грудня
- Померли 2020
- Померли в Піттсбурзі
- Члени Американської академії мистецтв і наук
- Інформатики
- Лауреати премії Тюрінга
- Науковці США
- Математики США
- Випускники Університету Вірджинії
- Випускники Університету Корнелла
- Члени Національної інженерної академії США
- Лауреати премії Канеллакіса
- Уродженці Ньюпорт-Ньюса
- Померли від COVID-19 у США
- Дійсні члени IEEE