Computing Atlas

How Computing Was Built
Sign In
Text size
100%
Theme

Switch Atlas

Pioneer

Edmund M. Clarke

Also Known As Edmund Melson Clarke · Edmund Melson Clarke, Jr. · Edmund Clarke
Software And Its Engineering

Edmund M. Clarke was an American computer scientist and professor at Carnegie Mellon University who, in 1981 with his doctoral student E. Allen Emerson, first proposed model checking as a technique for automatically and exhaustively verifying that a finite state hardware or software design meets its specification. Model checking became one of the most widely used formal verification technologies in the hardware and software industries, and Clarke shared the 2007 Turing Award with Emerson and Joseph Sifakis for developing it into a practical tool.

Facts
Birth Year
1945 1
Birth Date
1945-07-27 1
Death Year
2020 1
Death Date
2020-12-22 1
Nationality
American 1
In the Other Atlases
Sources
1. Wikipedia: Edmund M. Clarke
Wikimedia Foundation
  • lead sentence, birth date clause
    Edmund Melson Clarke, Jr. (July 27, 1945, December 22, 2020) was an American computer scientist and academic noted for developing model checking
  • lead sentence, death date clause
    Edmund Melson Clarke, Jr. (July 27, 1945, December 22, 2020) was an American computer scientist and academic noted for developing model checking
  • lead sentence, nationality clause
    Edmund Melson Clarke, Jr. (July 27, 1945, December 22, 2020) was an American computer scientist and academic noted for developing model checking
View the Source
Wikidata: Edmund M. Clarke
  • Wikidata Q92819, class allow-list match (w-wdresolver-0926)
  • Wikidata Q92819 P569 (date of birth)
View the Source
Edmund M. Clarke (Wikidata)
  • Wikidata alias: Edmund Melson Clarke
    Edmund Melson Clarke
  • Wikidata P166: IEEE Fellow
    Wikidata P166 (award received): IEEE Fellow.
  • Wikidata P166: Paris Kanellakis Award
    Wikidata P166 (award received): Paris Kanellakis Award.
  • Wikidata P166: Harry H. Goode Memorial Award
    Wikidata P166 (award received): Harry H. Goode Memorial Award.
  • Wikidata P166: Turing Award
    Wikidata P166 (award received): Turing Award.
  • Wikidata P166: ACM Fellow
    Wikidata P166 (award received): ACM Fellow.
  • Wikidata P166: Herbrand Award
    Wikidata P166 (award received): Herbrand Award.
  • Wikidata P166: Fellow of the American Academy of Arts and Sciences
    Wikidata P166 (award received): Fellow of the American Academy of Arts and Sciences.
  • Wikidata P166: honorary doctor of the Vienna Technical University
    Wikidata P166 (award received): honorary doctor of the Vienna Technical University.
  • Wikidata P166: Benjamin Franklin Medal
    Wikidata P166 (award received): Benjamin Franklin Medal.
  • Wikidata P166: Bower Award and Prize for Achievement in Science
    Wikidata P166 (award received): Bower Award and Prize for Achievement in Science.
  • Wikidata alias: Edmund Melson Clarke, Jr.
    Edmund Melson Clarke, Jr.
  • Wikidata alias: Edmund Clarke
    Edmund Clarke
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.