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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Эдмунд Мельсон Кларк младший
Edmund Melson Clarke, Jr.
Edmund Clarke FLoC 2006.jpg
Дата рождения 27 июля 1945(1945-07-27) (74 года)
Место рождения  США
Страна США
Научная сфера Информатика
Место работы Университет Дьюка, Гарвардский университет, Университет Карнеги — Меллон
Альма-матер Университет Вирджинии, Университет Дьюка, Корнеллский университет
Известные ученики Эмерсон, Аллан
Известен как Проверка моделей
Награды и премии Премия Тьюринга
Сайт cs.cmu.edu/~emc/
Commons-logo.svg Медиафайлы на Викискладе

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

Биография[править | править код]

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

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

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

Книги[править | править код]

Награды[править | править код]

Примечания[править | править код]

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

См. также[править | править код]

Ссылки[править | править код]