Edmund M. Clarke

History Claim

American computer scientist

Born
27 July 1945, Newport News
Died
22 December 2020, aged 75
Edmund M. Clarke
Image: Wikimedia Commons · About this image

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.

from Wikipedia

Edmund M. Clarke’s social media accounts

Social

Web

3 external identifiers

Something wrong with this entry? Report it · How corrections work

Last updated · Handles last checked · How we check