Edmund M. Clarke (IMAGE) Carnegie Mellon University Caption Carnegie Mellon University computer science professor Edmund M. Clarke and two other computer scientists will receive the 2007 A.M. Turing Award from the Association for Computing Machinery. Credit Carnegie Mellon University Usage Restrictions None License Licensed content Disclaimer: AAAS and EurekAlert! are not responsible for the accuracy of news releases posted to EurekAlert! by contributing institutions or for the use of any information through the EurekAlert system.