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

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

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

Биография

Кларк получил степень бакалавра по математике в университете Вирджинии в 1967, а магистра по математике в университете Дьюка в 1968 году. Титул доктора философии по информатике Кларк приобрёл в Корнеллском университете в 1976 году, после чего преподавал в Университет Дьюка на протяжении двух лет. Затем переехал в Гарвард, где работал до 1982 года. С тех пор Кларк является сотрудником университета Карнеги — Меллон, имея полную профессуру с 1989 года.[4]

Эд Кларк является членом профессиональных организаций ACM, IEEE и Национальной академии инженерного дела при Национальной академии наук США, а также обществ Sigma Xi и Phi Beta Kappa Society.

В конце февраля 2009 года Кларк занимал 28 место в списке самых цитируемых авторов в проекте CiteSeer.[5]

Книги
  • Кларк, Э., Грумберг, О., Пелед, Д. А. Model Checking. — MIT Press, 1999. — P. 330. — ISBN 978-0-262-03270-4.

Награды

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

См. также

Ссылки
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.