 | This article includes a list of general references, but it lacks sufficient corresponding inline citations. (February 2013) |
Edmund M. Clarke | |
|---|---|
 | |
| Born | Edmund Melson Clarke, Jr. July 27, 1945 Newport News, Virginia, U.S. |
| Died | December 22, 2020 (aged 75) |
| 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 |
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.