Кларк, Эдмунд Мельсон | это... Что такое Кларк, Эдмунд Мельсон? (original) (raw)

Эдмунд Мельсон Кларк младший
Edmund Melson Clarke, Jr.
Дата рождения:	27 июля 1945(1945-07-27) (67 лет)
Место рождения:	США
Страна:	США
Научная сфера:	Информатика
Место работы:	Университет Дьюка, Гарвардский университет, Университет Карнеги — Меллон
Альма-матер:	Университет Вирджинии, Университет Дьюка, Корнелльский университет
Известные ученики:	Эмерсон, Аллан
Известен как:	Проверка моделей
Награды и премии	Премия Тьюринга
Сайт:	http://www.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 — Harry H. Goode Memorial Award (IEEE CS)[6]
• 2007 — Премия Тьюринга вместе с Эмерсоном и Сифакисом за их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения[7][8]
• 2008 — CADE Herbrand Award[9]

Примечания

1. ↑ Untitled Document
2. ↑ Statistics — Most Cited Authors in Computer Science
3. ↑ http://grc.src.org/member/about/techexcl.asp
4. ↑ ACM Award Citation / Edmund M Clarke
5. ↑ SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon
6. ↑ System Unavailable
7. ↑ Объявлены лауреаты ежегодной Премии Тьюринга — Наука и техника — Компьюлента
8. ↑ ACM Award Citation / Edmund M Clarke
9. ↑ The Herbrand Award for Distinguished Contributions to Automated Reasoning (англ.)

См. также

• Эмерсон, Аллен
• Сифакис, Иосиф
• Проверка моделей

Ссылки

• Страница профессора Кларка на сайте университета Карнеги — Меллон (англ.)
• Эдмунд Кларк на сайте Mathematics Genealogy Project (англ.)

Лауреаты премии Тьюринга

Перлис (1966) • Уилкс (1967) • Хэмминг (1968) • Минский (1969) • Уилкинсон (1970) • Маккарти (1971) • Дейкстра (1972) • Бахман (1973) • Кнут (1974) • Ньюэлл + Саймон (1975) • Рабин + Скотт (1976) • Бэкус (1977) • Флойд (1978) • Айверсон (1979) • Хоар (1980) • Кодд (1981) • Кук (1982) • Томпсон + Ритчи (1983) • Вирт (1984) • Карп (1985) • Хопкрофт + Тарьян (1986) • Кок (1987) • Сазерленд (1988) • Кэхэн (1989) • Корбато (1990) • Милнер (1991) • Лэмпсон (1992) • Хартманис + Стернс (1993) • Фейгенбаум + Редди (1994) • Блюм (1995) • Пнуели (1996) • Энгельбарт (1997) • Грей (1998) • Брукс (1999) • Яо (2000) • Даль + Нюгорд (2001) • Ривест + Шамир + Адлеман (2002) • Кэй (2003) • Серф + Кан (2004) • Наур (2005) • Аллен (2006) • Кларк + Эмерсон + Сифакис (2007) • Лисков (2008) • Текер (2009) • Вэлиант (2010) • Перл (2011)