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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Эдмунд Мельсон Кларк младший
Edmund Melson Clarke, Jr.
Edmund Clarke FLoC 2006.jpg
Дата рождения:

27 июля 1945({{padleft:1945|4|0}}-{{padleft:7|2|0}}-{{padleft:27|2|0}}) (69 лет)

Место рождения:

СШАFlag of the United States.svg США

Страна:

Flag of the United States.svg США

Научная сфера:

Информатика

Место работы:

Университет Дьюка, Гарвардский университет, Университет Карнеги — Меллон

Альма-матер:

Университет Вирджинии, Университет Дьюка, Корнелльский университет

Известные ученики:

Эмерсон, Аллан

Известен как:

Проверка моделей

Награды и премии


Премия Тьюринга

Сайт:

cs.cmu.edu/~emc/

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

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

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

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

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

Книги[править | править вики-текст]

Награды[править | править вики-текст]

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

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

Ссылки[править | править вики-текст]