Меню Главная Случайная статья Настройки Кларк, Эдмунд Мельсон Материал из https://ru.wikipedia.org Эдмунд Мельсон Кларк младший (англ. Edmund Melson Clarke, Jr., 27 июля 1945, США — 22 декабря 2020[4]) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В последнее время являлся профессором информатики в университете Карнеги — Меллон. Содержание 1 Биография 2 Книги 3 Награды 4 Примечания 5 См. также 6 Ссылки Биография Кларк получил степень бакалавра по математике в университете Вирджинии в 1967, а магистра по математике в университете Дьюка в 1968 году. Титул доктора философии по информатике Кларк приобрёл в Корнеллском университете в 1976 году, после чего преподавал в Университет Дьюка на протяжении двух лет. Затем переехал в Гарвард, где работал до 1982 года. С тех пор Кларк является сотрудником университета Карнеги — Меллон, имея полную профессуру с 1989 года.[5] Эд Кларк является членом профессиональных организаций ACM, IEEE и Национальной академии инженерного дела при Национальной академии наук США, а также обществ Sigma Xi и Phi Beta Kappa Society. В конце февраля 2009 года Кларк занимал 28 место в списке самых цитируемых авторов в проекте CiteSeer.[6] Книги Кларк, Э., Грумберг, О., Пелед, Д. А. Model Checking. — MIT Press, 1999. — P. 330. — ISBN 978-0-262-03270-4. Награды 1995 — Technical Excellence Award (Semiconductor Research Corporation)[7] 1998 — Paris Kanellakis Award (ACM)[8] 1999 — Allen Newell Award (факультет информатики университета Карнеги — Меллон)[9] 2004 — Мемориальная премия Гарри Гуда[10] 2007 — Премия Тьюринга вместе с Эмерсоном и Сифакисом за их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения[11][12] 2008 — CADE Herbrand Award[13] 2014 — Премия Бауэра Примечания Edmund M. Clarke // SNAC (англ.) — 2010. Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors Mathematics Genealogy Project (англ.) — 1997. Edmund M. Clarke, University Professor Emeritus at Carnegie Mellon University and co-recipient of the 2007 Turing Award — computer science’s equivalent of the Nobel Prize — died Dec. 22 of COVID-19 . Дата обращения: 24 декабря 2020. Архивировано 23 декабря 2020 года. Untitled Document . Дата обращения: 19 февраля 2009. Архивировано 1 декабря 2009 года. Statistics — Most Cited Authors in Computer Science . Дата обращения: 27 февраля 2009. Архивировано 1 мая 2012 года. Архивированная копия . Дата обращения: 19 февраля 2009. Архивировано из оригинала 27 мая 2009 года. ACM Award Citation / Edmund M Clarke Архивная копия от 6 апреля 2009 на Wayback Machine SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon Архивировано 11 июня 2011 года. System Unavailable . Дата обращения: 18 сентября 2019. Архивировано из оригинала 29 июня 2011 года. Объявлены лауреаты ежегодной Премии Тьюринга — Наука и техника — Компьюлента . Дата обращения: 19 февраля 2009. Архивировано из оригинала 21 февраля 2009 года. ACM Award Citation / Edmund M Clarke . Дата обращения: 19 февраля 2009. Архивировано из оригинала 3 мая 2009 года. The Herbrand Award for Distinguished Contributions to Automated Reasoning Архивная копия от 10 декабря 2008 на Wayback Machine (англ.) См. также Эмерсон, Аллен Сифакис, Иосиф Проверка моделей Ссылки Страница профессора Кларка Архивная копия от 26 марта 2009 на Wayback Machine на сайте университета Карнеги — Меллон (англ.)