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

американский учёный в области теории вычислительных систем, лауреат премии Тьюринга

Категория:

Дата рождения:

1945-07-27

Биография

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

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

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

Книги

Награды

1995 — Technical Excellence Award (Semiconductor Research Corporation)
1998 — Paris Kanellakis Award (ACM)
1999 — Allen Newell Award (факультет информатики университета Карнеги — Меллон)
2004 — Harry H. Goode Memorial Award (IEEE CS)
2007 — Премия Тьюринга вместе с Эмерсоном и Сифакисом за их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения
2008 — CADE Herbrand Award