Edmund Melson Clarke

* July 27, 1945, Newport News, Virginia, 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.