Congratulations to Edmund M. Clarke of Carnegie Mellon, E. Allen Emerson of UT-Austin, and Joseph Siafkis of Verimag Laboratory in France, on being awarded ACM’s 2007 A.M. Turing award, the highest honor in computing, for their work on a quality assurance process known as Model Checking!
ACM has all the details in their press release.