93,733 profiles ranked live

Back to the boardThe board

Edmund M. Clarke

✓ Source-basedfalling

American computer scientist (1945-2020)

United StatesAcademicsLived 1945 to 2020 · aged 75
Compare
Fame49.6
MomentumNot measured
Languages24
In century#60,164

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.

Also inDeutsch

Photos 1

Awards 10

2014Bower Award and Prize for Achievement in Science
2014Benjamin Franklin Medal
2008Herbrand Award
2007Turing Award
2004Harry H. Goode Memorial Award
1998Paris Kanellakis Award
1998ACM Fellow
IEEE Fellow
Fellow of the American Academy of Arts and Sciences
honorary doctor of the Vienna Technical University

Connected to Edmund 6

Isabella KarleAlso won Bower Award and Prize for Achievement in SciencePat HanrahanAlso won Turing AwardAbraham LempelAlso won Paris Kanellakis AwardPeter ChenAlso won Harry H. Goode Memorial AwardLincoln KirsteinAlso won Benjamin Franklin MedalGunther BurstynAlso won honorary doctor of the Vienna Technical University

About this person

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.

Country
United States
Category
Academics
Type
Academic
Status
deceased
Dates
Lived 1945 to 2020 · aged 75
Written about in
24 languages

Fame.am measures public visibility signals. It does not measure human value, talent, morality, or credibility.