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

Название: Кларк, Эдмунд Мельсон

Вид работы: реферат

Рубрика: История

Размер файла: 16 Kb

Скачать файл: referat.me-155580.docx

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

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



План
Введение
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]

Список литературы:

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 (англ.)

Источник: http://ru.wikipedia.org/wiki/Кларк,_Эдмунд_Мельсон

Похожие работы

  • Яо, Эндрю

    План Введение 1 Биография 2 Награды (выдержка) Список литературы Введение Эндрю Яо Цичжи (англ. Andrew Chi-Chih Yao , кит. 姚期智, пиньинь

  • Лисков, Барбара

    План Введение 1 Биография 2 Награды 3 Библиография Список литературы Введение Барбара Лисков (англ. Barbara Liskov , род. Барбара Джейн Хьюберман — Barbara Jane Huberman

  • Лейзерсон, Чарльз Эрик

    Чарльз Эрик Лейзерсон  — профессор, американский специалист в области компьютерных наук, информатики. Специализируется на теории параллельных и распределённых вычислений и частично — практическим её применениям. Работая в этом направлении, разработал язык программирования Cilk для многопотоковых вычислений, который использует один из лучших алгоритмов захвата задачи (англ. work-stealing) при планировании.

  • Кларк, Сэмюел

    План Введение 1 Биография и труды 2 Публикации 4 Cссылки Введение Сэмюел Кларк (англ. Samuel Clarke ; 11 октября 1675, Норидж, Англия — 17 мая 1729, Лондон) — английский философ и теолог.

  • Аллен, Фрэнсис Элизабет

    План Введение 1 Биография 2 Награды Список литературы Введение Фрэнсис Элизабет Аллен (англ. Frances Elizabeth Allen, 1932 года, Нью-Йорк, США) — американский учёный в области теории вычислительных систем. Первая женщина, награждённая премией Тьюринга.[1]

  • Кларк, Джордж Роджерс

    План Введение 1 Биография 1.1 Юность 1.2 Война за независимость 1.3 Жизнь после войны за независимость Введение Джордж Роджерс Кларк англ. George Rogers Clark, 19 ноября 1752(17521119), Альбемарль (Виргиния) — 13 февраля 1818, Луисвилл) — американский военачальник, герой войны за независимость США.

  • Оустерхаут, Джон

    План Введение 1 Биография 2 Проблемы со здоровьем Список литературы Введение Джон О́устерхаут (англ. John Ousterhout) — американский учёный, создатель Tcl и Tk.

  • Лейтон, Эдмунд

    План Введение 1 Биография 2 Темы 3 Список работ Список литературы Введение Эдмунд Блэр Лейтон (англ. Edmund Blair Leighton; 21 сентября, 1853 — 1 сентября, 1922) — английский художник, писавший в стиле романтизма и прерафаэлитизма.

  • Блюм, Мануэль

    План Введение 1 Биография 2 Награды Список литературы Введение Мануэль Блюм (исп. Manuel Blum ; 26 апреля 1938 года, Каракас, Венесуэла) — учёный в области теории вычислительных систем, профессор по информатике в университете Карнеги — Меллон. Награждён в 1995 году премией Тьюринга за достижения в исследовании основ теории сложности вычислений и их применении в криптографии и верификации программ.

  • Грей, Джим

    Введение 1 Биография 1.1 Исчезновение 2 Книги 3 Награды Список литературы Введение Джеймс Николас «Джим» Грей (англ. James Nicholas "Jim" Gray, 1944, Сан-Франциско) — учёный в области теории вычислительных систем. Награждён в 1998 году премией Тьюринга за вклад в развитие баз данных.