News Release Archive
February 04 Carnegie Mellon’s Edmund M. Clarke Wins A.M. Turing Award, Computing’s Highest HonorWill Share $250,000 Prize for Method that Detects Hardware, Software Errors