Edmund M. Clarke
American computer scientist
>
Edmund Melson Clarke, Jr. 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... Wikipedia
Born: July 27, 1945, Newport News, VA
Died: December 22, 2020 (age 75 years), Pittsburgh, PA
Notable students: E. Allen Emerson, David L. Dill, Bhubaneswar Mishra, and more
Awards: Turing Award
Education: Cornell University (1976), Duke University (1968), and University of Virginia (1967)
Academic advisor: Robert L. Constable
Books