Реферат Кларк, Эдмунд Мельсон
Работа добавлена на сайт bukvasha.net: 2015-10-28Поможем написать учебную работу
Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.

Предоплата всего
от 25%

Подписываем
договор
План
Введение
1 Биография
2 Книги
3 Награды
Список литературы
Введение
Эдмунд Мельсон Кларк младший (англ. Edmund Melson Clarke, Jr., 27 июля 1945 года, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В настоящее время является профессором информатики в университете Карнеги — Меллон.
1. Биография
Кларк получил степень бакалавра по математике в университете Вирджинии в 1967, а магистра по математике в университете Дьюка в 1968 году. Титул доктора философии по информатике Кларк приобрёл в Корнелльском университете в 1976 году, после чего преподавал в Университет Дьюка на протяжении двух лет. Затем переехал в Гарвард, где работал до 1982 года. С тех пор Кларк является сотрудником университета Карнеги — Меллон, имея полную профессуру с 1989 года.[1]
Эд Кларк является членом профессиональных организаций ACM, IEEE и Национальной академии инженерного дела при Национальной академии наук США, а также обществ Sigma Xi и Phi Beta Kappa Society.
В конце февраля 2009 года Кларк занимал 28 место в списке самых цитируемых авторов в проекте CiteSeer.[2]
2. Книги
- Кларк, Э., Грумберг, О., Пелед, Д. А. Model Checking. — MIT Press, 1999. — P. 330. — ISBN 978-0-262-03270-4
3. Награды
- 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]
Список литературы:
- Untitled Document
- Statistics — Most Cited Authors in Computer Science
- http://grc.src.org/member/about/techexcl.asp
- ACM Award Citation / Edmund M Clarke
- SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon
- System Unavailable
- Объявлены лауреаты ежегодной Премии Тьюринга — Наука и техника — Компьюлента
- ACM Award Citation / Edmund M Clarke
- The Herbrand Award for Distinguished Contributions to Automated Reasoning (англ.)
Источник: http://ru.wikipedia.org/wiki/Кларк,_Эдмунд_Мельсон
2. Реферат на тему Odyssey 2
3. Реферат Права на чужі речі
4. Реферат Диагностика системы менеджмента компании Биофит
5. Реферат на тему Кризисные явления в системе вузовского образования в России и задачи их преодоления
6. Реферат на тему Logic And Meaning Of Life Essay Research
7. Реферат на тему Homo Erectus Essay Research Paper Animalia Chordata
8. Доклад на тему Основы психоанализа Ошибочные действия
9. Реферат Банда Виктора Можаева
10. Контрольная работа на тему Електромашини