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
AwardHarry H. Goode Memorial Award 2 AwardFellow of the American Academy of Arts and Sciences 2 Awardhonorary doctor of the Vienna Technical University 2 AwardBenjamin Franklin Medal 2 AwardBower Award and Prize for Achievement in Science 2 Connections
In Field
Source Wikipedia: Edmund M. Clarke
In the Other Atlases
Sources
1. Wikipedia: Edmund M. Clarke
Wikimedia Foundationlead 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
- In Field: Formal Methods, Lead paragraph
View the Source 2. Wikidata: Edmund M. Clarke
- Wikidata Q92819, class allow-list match (w-wdresolver-0926)
- Wikidata Q92819 P569 (date of birth)
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.