Русская Википедия:Кларк, Эдмунд Мельсон

Материал из Онлайн справочника
Версия от 21:35, 22 августа 2023; EducationBot (обсуждение | вклад) (Новая страница: «{{Русская Википедия/Панель перехода}} {{значения|тип=фамилия|Кларк}} {{Учёный | Имя = Эдмунд Мельсон Кларк младший | Оригинал имени = {{lang-en|Edmund Melson Clarke, Jr.}} | Изображение = Edmund Clarke FLoC 2006.jpg | Ширина = | Научная сфера = Информатика | Ме...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

Шаблон:Значения Шаблон:Учёный

Эдмунд Мельсон Кларк младший (Шаблон:Lang-en, 27 июля 1945, США — 22 декабря 2020[1]) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В последнее время являлся профессором информатики в университете Карнеги — Меллон.

Биография

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

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

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

Книги

Награды

Примечания

Шаблон:Примечания

См. также

Ссылки

Шаблон:Премия Тьюринга

Внешние ссылки

  1. ↑ Шаблон:Cite web
  2. ↑ Шаблон:Cite web
  3. ↑ Шаблон:Cite web
  4. ↑ Шаблон:Cite web
  5. ↑ ACM Award Citation / Edmund M Clarke Шаблон:Wayback
  6. ↑ SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon Шаблон:Webarchive
  7. ↑ Шаблон:Cite web
  8. ↑ Шаблон:Cite web
  9. ↑ Шаблон:Cite web
  10. ↑ The Herbrand Award for Distinguished Contributions to Automated Reasoning Шаблон:WaybackШаблон:Ref-en

Шаблон:Выбор языка

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:Кларк,_Эдмунд_Мельсон&oldid=10126981