2007 Turing Award 2/4/08
2007 Turing Award Winners Announced
Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis are the recipients of the 2007 A.M. Turing Award for their work on an automated method for finding design errors in computer hardware and software.
February 4th 2008 Media Reviews