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

Материал из Википедии — свободной энциклопедии
В Википедии есть статьи о других людях с фамилией Кларк.
Эдмунд Мельсон Кларк младший
англ. 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/
Логотип Викисклада Медиафайлы на Викискладе

Эдмунд Мельсон Кларк младший (

университете Карнеги — Меллон
.

Биография

Кларк получил степень

университета Карнеги — Меллон, имея полную профессуру с 1989 года.[5]

Эд Кларк является членом профессиональных организаций

Phi Beta Kappa Society
.

В конце февраля

CiteSeer.[6]

Книги

Награды

Примечания

  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 (англ.)

См. также

Ссылки

Источник — https://ru.wikipedia.org/w/index.php?title=Кларк,_Эдмунд_Мельсон&oldid=131172753