Edmund M. Clarke

1945 - Today

Edmund M. Clarke

Edmund Melson Clarke, Jr. (born July 27, 1945) is an American retired computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He is the FORE Systems Professor of Computer Science Emeritus at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, is a recipient of the 2007 Association for Computing Machinery A.M. Read more on Wikipedia

Since 2007, the English Wikipedia page of Edmund M. Clarke has received more than 64,358 page views. His biography is available in 19 different languages on Wikipedia making him the 137th most popular computer scientist.

Memorability Metrics

  • 64k

    Page Views (PV)

  • 40.46

    Historical Popularity Index (HPI)

  • 19

    Languages Editions (L)

  • 4.13

    Effective Languages (L*)

  • 2.83

    Coefficient of Variation (CV)

Page views of Edmund M. Clarkes by language


Among computer scientists, Edmund M. Clarke ranks 136 out of 187Before him are Marlyn Meltzer, Kent Beck, James Rumbaugh, Scott Fahlman, Robert Tappan Morris, and Rob Pike. After him are Bertrand Meyer, Bruce Schneier, Kevin Systrom, Leslie Valiant, Shafi Goldwasser, and Grady Booch.

Most Popular Computer Scientists in Wikipedia

Go to all Rankings


Among people born in 1945, Edmund M. Clarke ranks 378Before him are Diane Sawyer, Susan Tyrrell, Herman Cain, Peter Pace, Luciano Castellini, and Ian McLagan. After him are Katya Paskaleva, Shatrughan Sinha, Susan Haack, Michael Hayden, Anthony Braxton, and Claes-Göran Hederström.

Others Born in 1945

Go to all Rankings

In United States

Among people born in United States, Edmund M. Clarke ranks 7,368 out of 12,171Before him are Martika (1969), Kenneth Burke (1897), Audrey Hollander (1979), Randy Spears (1961), Ana Brenda Contreras (1986), and Sheree J. Wilson (1958). After him are Richard Riehle (1948), Gillian Flynn (1971), Lisa Blount (1957), Kim Delaney (1961), Robert Jarvik (1946), and Lily Carter (1990).


Among computer scientists born in United States, Edmund M. Clarke ranks 73Before him are David Patterson (1947), Phil Zimmermann (1954), Robert Tarjan (1948), Kent Beck (1961), Scott Fahlman (1948), and Robert Tappan Morris (1965). After him are Bruce Schneier (1963), Kevin Systrom (null), Shafi Goldwasser (1958), Grady Booch (1955), Anita Borg (1949), and Jack Dorsey (1976).

Computer Scientists Born in United States

Go to all Rankings