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.
Edmund M. Clarke | |
|---|---|
| Born | Edmund Melson Clarke, Jr. July 27, 1945 Newport News, Virginia, U.S. |
| Died | December 22, 2020 (aged 75) Pittsburgh, Pennsylvania, U.S. |
| 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 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.