# Edmund M. Clarke

> Edmund Melson Clarke, Jr. was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, received the 2007 ACM Turing Award.

*American computer scientist (1945–2020)*

**Canonical URL:** https://fame.am/person/edmund-m-clarke

## Identity
- **Profile type:** Academic ([Wikidata](https://www.wikidata.org/entity/Q39631))
- **Category:** Academics
- **Country:** United States
- **Born:** 1945-07-27
- **Died:** 2020-12-22
- **Status:** deceased
- **Gender:** male

## Bio

Imported from discovery source: wikidata-dump

## Fame
- **Popularity score:** 49.6 / 100
- **Momentum:** 0.0 / 100  (trend: FALLING)
- **Historical depth:** 19.5 / 100
- **Now attention:** 0.0 / 100
- **Source confidence:** 65.0 / 100
- **Profile completeness:** 75.0 / 100

## Platforms
- **WEBSITE**: http://www.cs.cmu.edu/~emc/

## Sources
- [爱德蒙·克拉克](https://zh.wikipedia.org/wiki/%E7%88%B1%E5%BE%B7%E8%92%99%C2%B7%E5%85%8B%E6%8B%89%E5%85%8B)
- [إدموند كلارك](https://ar.wikipedia.org/wiki/%D8%A5%D8%AF%D9%85%D9%88%D9%86%D8%AF_%D9%83%D9%84%D8%A7%D8%B1%D9%83)
- [ادموند كلارك](https://arz.wikipedia.org/wiki/%D8%A7%D8%AF%D9%85%D9%88%D9%86%D8%AF_%D9%83%D9%84%D8%A7%D8%B1%D9%83)
- [এডমুন্ড এম. ক্লার্ক](https://bn.wikipedia.org/wiki/%E0%A6%8F%E0%A6%A1%E0%A6%AE%E0%A7%81%E0%A6%A8%E0%A7%8D%E0%A6%A1_%E0%A6%8F%E0%A6%AE._%E0%A6%95%E0%A7%8D%E0%A6%B2%E0%A6%BE%E0%A6%B0%E0%A7%8D%E0%A6%95)
- [Edmund M. Clarke](https://ca.wikipedia.org/wiki/Edmund_M._Clarke)
- [Edmund M. Clarke](https://de.wikipedia.org/wiki/Edmund_M._Clarke)
- [Edmund M. Clarke](https://en.wikipedia.org/wiki/Edmund_M._Clarke)
- [Edmund Clarke](https://eo.wikipedia.org/wiki/Edmund_Clarke)
- [Edmund Clarke](https://es.wikipedia.org/wiki/Edmund_Clarke)
- [ادموند ام کلارک](https://fa.wikipedia.org/wiki/%D8%A7%D8%AF%D9%85%D9%88%D9%86%D8%AF_%D8%A7%D9%85_%DA%A9%D9%84%D8%A7%D8%B1%DA%A9)
- [Edmund M. Clarke](https://fr.wikipedia.org/wiki/Edmund_M._Clarke)
- [エドムンド・クラーク](https://ja.wikipedia.org/wiki/%E3%82%A8%E3%83%89%E3%83%A0%E3%83%B3%E3%83%89%E3%83%BB%E3%82%AF%E3%83%A9%E3%83%BC%E3%82%AF)
- [에드먼드 M. 클라크](https://ko.wikipedia.org/wiki/%EC%97%90%EB%93%9C%EB%A8%BC%EB%93%9C_M._%ED%81%B4%EB%9D%BC%ED%81%AC)
- [Edmund M. Clarke](https://mg.wikipedia.org/wiki/Edmund_M._Clarke)
- [Edmund M. Clarke](https://nl.wikipedia.org/wiki/Edmund_M._Clarke)
- [Edmund M. Clarke](https://no.wikipedia.org/wiki/Edmund_M._Clarke)
- [Edmund Clarke](https://pt.wikipedia.org/wiki/Edmund_Clarke)
- [Edmund Clarke](https://ro.wikipedia.org/wiki/Edmund_Clarke)
- [Кларк, Эдмунд Мельсон](https://ru.wikipedia.org/wiki/%D0%9A%D0%BB%D0%B0%D1%80%D0%BA%2C_%D0%AD%D0%B4%D0%BC%D1%83%D0%BD%D0%B4_%D0%9C%D0%B5%D0%BB%D1%8C%D1%81%D0%BE%D0%BD)
- [Edmund M. Clarke](https://simple.wikipedia.org/wiki/Edmund_M._Clarke)
- [Edmund Clarke](https://sk.wikipedia.org/wiki/Edmund_Clarke)
- [Едмунд Кларк](https://sr.wikipedia.org/wiki/%D0%95%D0%B4%D0%BC%D1%83%D0%BD%D0%B4_%D0%9A%D0%BB%D0%B0%D1%80%D0%BA)
- [Edmund M. Clarke](https://tr.wikipedia.org/wiki/Edmund_M._Clarke)
- [Едмунд Кларк](https://uk.wikipedia.org/wiki/%D0%95%D0%B4%D0%BC%D1%83%D0%BD%D0%B4_%D0%9A%D0%BB%D0%B0%D1%80%D0%BA)
- [Wikidata](https://www.wikidata.org/wiki/Q92819)

---
Generated by Fame.am · https://fame.am/person/edmund-m-clarke