COMPUTER SCIENTIST

Edmund M. Clarke

1945 - 2020

Photo of Edmund M. Clarke

Icon of person Edmund M. Clarke

Edmund Melson Clarke, Jr. (July 27, 1945 – December 22, 2020) 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. Read more on Wikipedia

Since 2007, the English Wikipedia page of Edmund M. Clarke has received more than 132,729 page views. His biography is available in 24 different languages on Wikipedia (up from 22 in 2019). Edmund M. Clarke is the 41st most popular computer scientist (up from 98th in 2019), the 2,853rd most popular biography from United States (up from 5,727th in 2019) and the 25th most popular American Computer Scientist.

Memorability Metrics

  • 130k

    Page Views (PV)

  • 61.40

    Historical Popularity Index (HPI)

  • 24

    Languages Editions (L)

  • 11.12

    Effective Languages (L*)

  • 1.81

    Coefficient of Variation (CV)

Among COMPUTER SCIENTISTS

Among computer scientists, Edmund M. Clarke ranks 41 out of 245. Before him are Leonard Kleinrock, Maurice Wilkes, Juris Hartmanis, Jef Raskin, Alan Perlis, and Frances E. Allen. After him are Charles Bachman, Amir Pnueli, J. C. R. Licklider, Joseph Weizenbaum, John Cocke, and James Gosling.

Most Popular Computer Scientists in Wikipedia

Go to all Rankings
Load previousLoad previous

Contemporaries

Among people born in 1945, Edmund M. Clarke ranks 190. Before him are Frans Janssens, Guy Bonnet, Basil Poledouris, Vinko Puljić, Don McLean, and Everett McGill. After him are Pablo Forlán, Sheila, Douglas Hofstadter, Aurore Clément, Alejo Vidal-Quadras Roca, and Christophe. Among people deceased in 2020, Edmund M. Clarke ranks 152. Before him are Joaquín Peiró, Pierre Nkurunziza, Jerry Rawlings, Pentti Linkola, Frances E. Allen, and Borys Paton. After him are Astrid Kirchherr, Mesut Yılmaz, Jean Raspail, Hans Tilkowski, Viktor Ponedelnik, and Dyanne Thorne.

Others Born in 1945

Go to all Rankings
Load previousLoad previous

Others Deceased in 2020

Go to all Rankings
Load previousLoad previous

In United States

Among people born in United States, Edmund M. Clarke ranks 2,853 out of 20,380. Before him are Edward Bunker (1933), Patricia Arquette (1968), George Lincoln Rockwell (1918), Frank Knight (1885), Fritz Leiber (1910), and Everett McGill (1945). After him are Lillian Moller Gilbreth (1878), Helen Frankenthaler (1928), Selena (1971), Alan Dershowitz (1938), Saul Perlmutter (1959), and Cy Young (1867).

Others born in United States

Go to all Rankings
Load previousLoad previous

Among COMPUTER SCIENTISTS In United States

Among computer scientists born in United States, Edmund M. Clarke ranks 25. Before him are Barbara Liskov (1939), Allen Newell (1927), Leonard Kleinrock (1934), Jef Raskin (1943), Alan Perlis (1922), and Frances E. Allen (1932). After him are Charles Bachman (1924), J. C. R. Licklider (1915), John Cocke (1925), Nolan Bushnell (1943), Fred Brooks (1931), and Leslie Lamport (1941).

American born Computer Scientists

Go to all Rankings
Load previousLoad previous