Edmund Melson Clarke
* July 27, 1945, Newport News, Virginia, USA
✝ December 22, 2020
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.