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
Notable Work In the Other Atlases
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.
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.