Edmund Melson Clarke

* July 27, 1945, Newport News, Virginia, USA
† December 22, 2020, Mt. Lebanon, Pennsylvania, USA

ACM A.M. Turing Award - 2007

Together with E. Allen Emerson and Joseph Sifakis, for their role in developing Model Checking into a highly effective verification technology that is widely adopted in the hardware and software industries.