# Fame.am profile — machine-readable export
# Canonical URL: https://fame.am/person/edmund-m-clarke
# Generated: 2026-08-15T04:44:28.331Z

schema: https://schema.org/Person
url: "https://fame.am/person/edmund-m-clarke"
name: "Edmund M. Clarke"
slug: "edmund-m-clarke"
description: "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."
tagline: "American computer scientist (1945–2020)"
image: "https://commons.wikimedia.org/wiki/Special:FilePath/Edmund_Clarke_FLoC_2006.jpg?width=1200"
gender: "male"
country:
  name: "United States"
  isoCode: "US"
category:
  name: "Academics"
  slug: "academics"
profileType:
  name: "Academic"
  slug: "academic"
  entityType: "https://www.wikidata.org/entity/Q39631"
birthDate: "1945-07-27"
deathDate: "2020-12-22"
livingStatus: "DECEASED"
scores:
  popularity:           49.6
  momentum:             0
  historical:           19.48484666666667
  currentAttention:     0
  sourceConfidence:     65
  profileCompleteness:  75
  trendDirection:       "FALLING"
ranks:
  global:   null
  country:  null
  category: null
platforms:
  - platform:  "WEBSITE"
    url:       "http://www.cs.cmu.edu/~emc/"
sources:
  - url: "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"
    title: "爱德蒙·克拉克"
    type:  "WIKIPEDIA"
  - url: "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"
    title: "إدموند كلارك"
    type:  "WIKIPEDIA"
  - url: "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"
    title: "ادموند كلارك"
    type:  "WIKIPEDIA"
  - url: "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"
    title: "এডমুন্ড এম. ক্লার্ক"
    type:  "WIKIPEDIA"
  - url: "https://ca.wikipedia.org/wiki/Edmund_M._Clarke"
    title: "Edmund M. Clarke"
    type:  "WIKIPEDIA"
  - url: "https://de.wikipedia.org/wiki/Edmund_M._Clarke"
    title: "Edmund M. Clarke"
    type:  "WIKIPEDIA"
  - url: "https://en.wikipedia.org/wiki/Edmund_M._Clarke"
    title: "Edmund M. Clarke"
    type:  "WIKIPEDIA"
  - url: "https://eo.wikipedia.org/wiki/Edmund_Clarke"
    title: "Edmund Clarke"
    type:  "WIKIPEDIA"
  - url: "https://es.wikipedia.org/wiki/Edmund_Clarke"
    title: "Edmund Clarke"
    type:  "WIKIPEDIA"
  - url: "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"
    title: "ادموند ام کلارک"
    type:  "WIKIPEDIA"
  - url: "https://fr.wikipedia.org/wiki/Edmund_M._Clarke"
    title: "Edmund M. Clarke"
    type:  "WIKIPEDIA"
  - url: "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"
    title: "エドムンド・クラーク"
    type:  "WIKIPEDIA"
  - url: "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"
    title: "에드먼드 M. 클라크"
    type:  "WIKIPEDIA"
  - url: "https://mg.wikipedia.org/wiki/Edmund_M._Clarke"
    title: "Edmund M. Clarke"
    type:  "WIKIPEDIA"
  - url: "https://nl.wikipedia.org/wiki/Edmund_M._Clarke"
    title: "Edmund M. Clarke"
    type:  "WIKIPEDIA"
  - url: "https://no.wikipedia.org/wiki/Edmund_M._Clarke"
    title: "Edmund M. Clarke"
    type:  "WIKIPEDIA"
  - url: "https://pt.wikipedia.org/wiki/Edmund_Clarke"
    title: "Edmund Clarke"
    type:  "WIKIPEDIA"
  - url: "https://ro.wikipedia.org/wiki/Edmund_Clarke"
    title: "Edmund Clarke"
    type:  "WIKIPEDIA"
  - url: "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"
    title: "Кларк, Эдмунд Мельсон"
    type:  "WIKIPEDIA"
  - url: "https://simple.wikipedia.org/wiki/Edmund_M._Clarke"
    title: "Edmund M. Clarke"
    type:  "WIKIPEDIA"
  - url: "https://sk.wikipedia.org/wiki/Edmund_Clarke"
    title: "Edmund Clarke"
    type:  "WIKIPEDIA"
  - url: "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"
    title: "Едмунд Кларк"
    type:  "WIKIPEDIA"
  - url: "https://tr.wikipedia.org/wiki/Edmund_M._Clarke"
    title: "Edmund M. Clarke"
    type:  "WIKIPEDIA"
  - url: "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"
    title: "Едмунд Кларк"
    type:  "WIKIPEDIA"
  - url: "https://www.wikidata.org/wiki/Q92819"
    title: "Wikidata"
    type:  "WIKIDATA"

# bio (long form, separated for readability)
bio: |
  Imported from discovery source: wikidata-dump