Create Claim profile

Edmund M. Clarke

American computer scientist (1945–2020)

Fame49.6
Momentum0.0
Wikipedia505

Source-basedFalling

Lived 1945–2020, aged 75United States

United States AcademicsAcademic

Wikipedia
24 languages
Cross-language footprint
Era
1945–2020
Aged 75
Awards
10
recognised works

Summary

Updated 2026-06-20

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.

Gallery

Photos

1 image · refresh overdue

Where to find them

Platforms

Website
www.cs.cmu.edu

By the numbers

Score breakdown

The six component signals behind the Fame score, and their ranks across the leaderboards.

Fame

Falling

49.6

Composite of search demand, mentions, audience & graph footprint.

Score components

Historical19.5

Source confidence65.0

Completeness75.0

Global rank

—

Country rank

—

Category rank

—

Receipts

Sources

爱德蒙·克拉克
wikipedia · zh.wikipedia.org
Low confidence
إدموند كلارك
wikipedia · ar.wikipedia.org
Low confidence
ادموند كلارك
wikipedia · arz.wikipedia.org
Low confidence

Discover

You might know

Similar profiles worth watching

Socrates

Also in AcademicsSocrates

Gautama Buddha

Also in AcademicsGautama Buddha

Karl Marx

Also in AcademicsKarl Marx

Confucius

Also in AcademicsConfucius

Isaac Newton

Also in AcademicsIsaac Newton

Plato

Also in AcademicsPlato