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 124,341 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

  • 120k

    Page Views (PV)

  • 55.24

    Historical Popularity Index (HPI)

  • 24

    Languages Editions (L)

  • 11.12

    Effective Languages (L*)

  • 1.81

    Coefficient of Variation (CV)

Page views of Edmund M. Clarkes by language

Over the past year Edmund M. Clarke has had the most page views in the with 11,171 views, followed by Chinese (2,140), and German (1,723). In terms of yearly growth of page views the top 3 wikpedia editions are Egyptian Arabic (325.13%), Malagasy (284.30%), and Esperanto (235.62%)

Among COMPUTER SCIENTISTS

Among computer scientists, Edmund M. Clarke ranks 41 out of 245Before 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

Contemporaries

Among people born in 1945, Edmund M. Clarke ranks 190Before 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 152Before 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

Others Deceased in 2020

Go to all Rankings

In United States

Among people born in United States, Edmund M. Clarke ranks 2,853 out of 20,380Before 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).

Among COMPUTER SCIENTISTS In United States

Among computer scientists born in United States, Edmund M. Clarke ranks 25Before 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).