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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Эдмунд Мельсон Кларк младший
Edmund Melson Clarke, Jr.
Edmund Clarke FLoC 2006.jpg
Дата рождения 27 июля 1945(1945-07-27) (72 года)
Место рождения Flag of the United States.svg США
Страна США
Научная сфера Информатика
Место работы Университет Дьюка, Гарвардский университет, Университет Карнеги — Меллон
Альма-матер Университет Вирджинии, Университет Дьюка, Корнеллский университет
Известные ученики Эмерсон, Аллан
Известен как Проверка моделей
Награды и премии Премия Тьюринга
Сайт 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]

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

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

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

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

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