Оглавление
Эдмунд М. Кларк
-
Биография Эдмунда М. Кларка
- Американский ученый-компьютерщик, известен разработкой model checking.
- Профессор компьютерных наук FORE Systems в Университете Карнеги-Меллона.
- Получил премию ACM Turing Award в 2007 году вместе с коллегами.
-
Образование и карьера
- Родился в Вирджинии, получил степень бакалавра в 1967 году.
- Магистр математики в 1968 году, доктор философии в 1976 году.
- Преподавал в Университете Дьюка, затем перешел в Гарвард и Карнеги-Меллон.
- Стал профессором в 1989 году, а в 2008 году – профессором университета.
- Умер от COVID-19 в 2020 году.
-
Научные достижения
- Интересовался верификацией программного и аппаратного обеспечения, автоматическим доказательством теорем.
- Доказал отсутствие хороших систем защиты в языках программирования.
- Разработал проверку моделей для параллельных систем и символьное моделирование с использованием бинарных диаграмм.
- Руководил созданием центра CMACS, занимающегося абстрактной интерпретацией и проверкой моделей.
-
Признание и награды
- Член ACM и IEEE, получил множество наград за вклад в формальную верификацию.
- Избран членом Национальной инженерной академии и Американской академии искусств и наук.
- Получил премии за выдающиеся технические достижения и за вклад в формальную верификацию.
-
Дополнительная информация
- Ссылки на другие ресурсы и публикации Кларка доступны в статье.