Edmund M. Clarke
American computer scientist (1945–2020) / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Edmund M. Clarke?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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.
This article includes a list of general references, but it lacks sufficient corresponding inline citations. (February 2013) |
Quick Facts Born, Died ...
Edmund M. Clarke | |
---|---|
Born | Edmund Melson Clarke, Jr. (1945-07-27)July 27, 1945 Newport News, Virginia, U.S. |
Died | December 22, 2020(2020-12-22) (aged 75) |
Nationality | American |
Alma mater | Cornell University |
Known for | Model checking |
Awards | A.M. Turing Award |
Scientific career | |
Fields | Computer science |
Institutions | Carnegie Mellon University |
Thesis | Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems (1976) |
Doctoral advisor | Robert Lee Constable |
Doctoral students | |
Website | www |
Close