Search results
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.
Edmund M. Clarke (born July 27, 1945, Newport News, Virginia, U.S.—died December 22, 2020, Pittsburgh, Pennsylvania) was an American computer scientist and co-winner of the 2007 A.M. Turing Award, the highest honour in computer science.
Edmund M. Clarke is a renowned computer scientist and a co-recipient of the 2007 ACM Turing Award for his contributions to Model Checking. He is a Professor Emeritus at Carnegie Mellon University, where he taught from 1982 to 2015, and a member of several academic and professional societies.
Edmund Clarke, who pioneered model checking for detecting software and hardware errors, passed away in 2020. He was a renowned computer scientist and a beloved member of the CMU community, where he taught for over 30 years.
Edmund Clarke. Foundations of Software Technology and Theoretical Computer Science: 17th …. Tools and Algorithms for the Construction and Analysis of Systems: 5th …. Computer Aided...
Computer Science Department. Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213-3891 USA. Gates-Hillman Complex, GHC-9231 Phone: 412-268-2628 FAX: 412-268-5576. Email.
Dec 22, 2020 · Edmund Melson Clarke was born on July 27, 1945. He initially studied mathematics, receiving a BA from the University of Virginia in 1967 and an MA from Duke University in 1968. But by the time he enrolled in a doctoral program at Cornell University, he had switched to computing science.
