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



План
Введение
1 Биография
2 Книги
3 Награды
Список литературы

Введение

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

1. Биография

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

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

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

2. Книги

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

3. Награды

  • 1995 — Technical Excellence Award (Semiconductor Research Corporation)[3]

  • 1998 — Paris Kanellakis Award (ACM)[4]

  • 1999 — Allen Newell Award (факультет информатики университета Карнеги — Меллон)[5]

  • 2004 — Harry H. Goode Memorial Award (IEEE CS)[6]

  • 2007 — Премия Тьюринга вместе с Эмерсоном и Сифакисом за их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения[7][8]

  • 2008 — CADE Herbrand Award[9]

Список литературы:

  1. Untitled Document

  2. Statistics — Most Cited Authors in Computer Science

  3. http://grc.src.org/member/about/techexcl.asp

  4. ACM Award Citation / Edmund M Clarke

  5. SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon

  6. System Unavailable

  7. Объявлены лауреаты ежегодной Премии Тьюринга — Наука и техника — Компьюлента

  8. ACM Award Citation / Edmund M Clarke

  9. The Herbrand Award for Distinguished Contributions to Automated Reasoning  (англ.)

Источник: http://ru.wikipedia.org/wiki/Кларк,_Эдмунд_Мельсон

Нравится материал? Поддержи автора!

Ещё документы из категории история:

X Код для использования на сайте:
Ширина блока px

Скопируйте этот код и вставьте себе на сайт

X

Чтобы скачать документ, порекомендуйте, пожалуйста, его своим друзьям в любой соц. сети.

После чего кнопка «СКАЧАТЬ» станет доступной!

Кнопочки находятся чуть ниже. Спасибо!

Кнопки:

Скачать документ