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. Allen Emerson and Joseph Sifakis, received the 2007 ACM Turing Award. Read more on Wikipedia

His biography is available in different languages on Wikipedia. Edmund M. Clarke is the 129th most popular computer scientist (down from 41st in 2019), the 7,172nd most popular biography from United States (down from 2,853rd in 2019) and the 74th most popular American Computer Scientist.

Memorability Metrics

Loading...

Page views of Edmund M. Clarke by language

Loading...

Among COMPUTER SCIENTISTS

Among computer scientists, Edmund M. Clarke ranks 129 out of 245. Before him are Gil Amelio, Sergey Lebedev, David A. Huffman, Ivar Jacobson, Karen Spärck Jones, and Peter Norton. After him are E. Allen Emerson, Abraham Lempel, Bill Joy, Robert Taylor, Christos Papadimitriou, and Jack Dongarra.

Most Popular Computer Scientists in Wikipedia

Go to all Rankings
Load previousLoad previous

Contemporaries

Among people born in 1945, Edmund M. Clarke ranks 431. Before him are Brian Doyle-Murray, Karol Jokl, Nigel Terry, Gennady Khazanov, Helga Vlahović, and Davy Jones. After him are Michael Cristofer, Virginia Wade, Anna Enquist, Gennady Burbulis, Giuseppe Wilson, and Saharon Shelah. Among people deceased in 2020, Edmund M. Clarke ranks 447. Before him are Laisenia Qarase, Claire Bretécher, José Luis Capón, Hau Pei-tsun, Günter Sawitzki, and Valeriu Muravschi. After him are Michael Chapman, Damián Iguacén Borau, Edem Kodjo, Shirley Douglas, Gordon Haskell, and Tonie Marshall.

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 7,174 out of 20,380. Before him are Ralph Towner (1940), Mike Larrabee (1933), William Bradford (1755), Peter Norton (1943), Harrison Young (1930), and Renée Fleming (1959). After him are Warren Frost (1925), Thomas H. Ince (1880), Philip Ahn (1905), Larry Collins (1929), Elizabeth Berkley (1972), and Michael Cristofer (1945).

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 74. Before him are Danny Hillis (1956), Adele Goldberg (1945), Eugene Garfield (1925), Gil Amelio (1943), David A. Huffman (1925), and Peter Norton (1943). After him are E. Allen Emerson (1954), Bill Joy (1954), Robert Taylor (1932), Jack Dongarra (1950), Andy Rubin (1963), and Anita Borg (1949).

American born Computer Scientists

Go to all Rankings
Load previousLoad previous