Кларк, Эдмунд Мельсон

Эдмунд Мельсон Кларк младший
англ. Edmund Melson Clarke, Jr.
Дата рождения	27 июля 1945(1945-07-27)[1]
Место рождения	Ньюпорт-Ньюс, Виргиния, США
Дата смерти	22 декабря 2020(2020-12-22)[2] (75 лет)
Место смерти	Питтсбург, Пенсильвания, США
Страна	США
Род деятельности	специалист в области информатики, преподаватель университета, инженер, математик
Научная сфера	Информатика
Место работы	Университет Дьюка, Гарвардский университет, Университет Карнеги — Меллон
Альма-матер	Университет Вирджинии, Университет Дьюка, Корнеллский университет
Научный руководитель	Robert Lee Constable^[вд][3]
Ученики	Эмерсон, Аллан
Известен как	Проверка моделей
Награды и премии	Премия Тьюринга
Сайт	cs.cmu.edu/~emc/
Медиафайлы на Викискладе

Эдмунд Мельсон Кларк младший (англ. Edmund Melson Clarke, Jr., 27 июля 1945, США — 22 декабря 2020^[4]) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В последнее время являлся профессором информатики в университете Карнеги — Меллон.

Биография

Кларк получил степень бакалавра по математике в университете Вирджинии в 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 — Премия Бауэра

Примечания

1. Edmund M. Clarke // SNAC (англ.) — 2010.
2. Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors
3. Mathematics Genealogy Project (англ.) — 1997.
4. 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 года.
5. Untitled Document  (неопр.). Дата обращения: 19 февраля 2009. Архивировано 1 декабря 2009 года.
6. Statistics — Most Cited Authors in Computer Science  (неопр.). Дата обращения: 27 февраля 2009. Архивировано 1 мая 2012 года.
7. Архивированная копия  (неопр.). Дата обращения: 19 февраля 2009. Архивировано 27 мая 2009 года.
8. ACM Award Citation / Edmund M Clarke Архивная копия от 6 апреля 2009 на Wayback Machine
9. SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon Архивировано 11 июня 2011 года.
10. System Unavailable  (неопр.). Дата обращения: 18 сентября 2019. Архивировано из оригинала 29 июня 2011 года.
11. Объявлены лауреаты ежегодной Премии Тьюринга — Наука и техника — Компьюлента  (неопр.). Дата обращения: 19 февраля 2009. Архивировано из оригинала 21 февраля 2009 года.
12. ACM Award Citation / Edmund M Clarke  (неопр.). Дата обращения: 19 февраля 2009. Архивировано из оригинала 3 мая 2009 года.
13. The Herbrand Award for Distinguished Contributions to Automated Reasoning Архивная копия от 10 декабря 2008 на Wayback Machine (англ.)

См. также

• Эмерсон, Аллен
• Сифакис, Иосиф
• Проверка моделей

Ссылки

• Страница профессора Кларка Архивная копия от 26 марта 2009 на Wayback Machine на сайте университета Карнеги — Меллон (англ.)