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

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

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

БиографияПравить

Кларк получил степень бакалавра по математике в университете Вирджинии в 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  (англ.)

См. такжеПравить

СсылкиПравить