Science Atlas

How We Know What We Know
Sign In
Text size
100%
Theme

Switch Atlas

Scientist

Edmund M. Clarke

Computer Science

Edmund Melson Clarke Jr. was an American computer scientist who lived from 1945 to 2020 and was 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, and along with E. Allen Emerson and Joseph Sifakis he received the 2007 ACM Turing Award.

Facts
Birth Year
1945 2
Birth Date
1945-07-27 1
Death Date
2020-12-22 1
Death Year
2020 2
Field
Computer Science 1
Death Place
Pittsburgh, United States 2
Nationality
American 1
Notable Work
Model checking 1
Birthplace
Newport News, United States 2
Field
Field (category)
Computer Science 1
Connections

Member Of

Association for Computing Machinery, Institutions
Source Edmund M. Clarke - Wikipedia

Works In

Computer Science, Disciplines
Source Edmund M. Clarke - Wikipedia
In the Other Atlases

Nationality

United States

Also in Geography Atlas: the nationality of this subject.

Source Edmund M. Clarke - WikipediaLead paragraph of the cited Wikipedia article
Quote, Lead paragraph of the cited Wikipedia article
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.
Sources
1. Edmund M. Clarke - Wikipedia
  • Lead paragraph, sentence 1
    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.
  • Lead paragraph, death date
    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.
  • Lead paragraph, nationality descriptor
    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.
  • Lead paragraph, field descriptor
    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.
  • Lead paragraph, noted-for clause
    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.
  • Works In: Computer Science, Infobox, fields
    Infobox fields: Computer science
  • Member Of: Association for Computing Machinery, Categories
    Category:Fellows of the Association for Computing Machinery
View the Source
2. Edmund M. Clarke (Wikidata)
  • P570 (date of death): year
    +2020-12-22T00:00:00Z
  • P20 (place of death): Pittsburgh, United States
    Q1342
  • P19 (place of birth): Newport News, United States
    Q335017
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.