| Эдмунд Мельсон Кларк младший | |
|---|---|
| Edmund Melson Clarke, Jr. | |
 | |
| Дата рождения | 27 июля 1945 (73 года) |
| Место рождения |
 |
| Страна | США |
| Научная сфера | Информатика |
| Место работы | Университет Дьюка, Гарвардский университет, Университет Карнеги — Меллон |
| Альма-матер | Университет Вирджинии, Университет Дьюка, Корнеллский университет |
| Известные ученики | Эмерсон, Аллан |
| Известен как | Проверка моделей |
| Награды и премии | Премия Тьюринга |
| Сайт | 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]
Книги
- Кларк, Э., Грумберг, О., Пелед, Д. А. Model Checking. — MIT Press, 1999. — P. 330. — ISBN 978-0-262-03270-4.
Награды
- 1995 — Technical Excellence Award (Semiconductor Research Corporation)[3]
- 1998 — Paris Kanellakis Award (ACM)[4]
- 1999 — Allen Newell Award (факультет информатики университета Карнеги — Меллон)[5]
- 2004 — Мемориальная премия Гарри Гуда[6]
- 2007 — Премия Тьюринга вместе с Эмерсоном и Сифакисом за их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения[7][8]
- 2008 — CADE Herbrand Award[9]
- 2014 — Премия Бауэра
Примечания
- ↑ Untitled Document
- ↑ Statistics — Most Cited Authors in Computer Science
- ↑ Архивированная копия (недоступная ссылка). Проверено 19 февраля 2009. Архивировано 27 мая 2009 года.
- ↑ ACM Award Citation / Edmund M Clarke Архивная копия от 6 апреля 2009 на Wayback Machine
- ↑ SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon Архивировано 11 июня 2011 года.
- ↑ System Unavailable
- ↑ Объявлены лауреаты ежегодной Премии Тьюринга — Наука и техника — Компьюлента
- ↑ ACM Award Citation / Edmund M Clarke (недоступная ссылка)
- ↑ The Herbrand Award for Distinguished Contributions to Automated Reasoning (англ.)
См. также
Ссылки
- Страница профессора Кларка на сайте университета Карнеги — Меллон (англ.)
 Лауреаты премии Тьюринга | |
|---|---|
| |
Тематические сайты | |
|---|---|
| Словари и энциклопедии | |
| Нормативный контроль |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .