The ACM named Edmund Clarke, E. Allen Emerson and Joseph Sifakis winners of the prestigious 2007 A.M. Turing Award for their research on Model Checking.

From the ACM announcement:

“Their innovations transformed this approach from a theoretical technique to a highly effective verification technology that enables computer hardware and software engineers to find errors efficiently in complex system designs. This transformation has resulted in increased assurance that the systems perform as intended by the designers. … Clarke of Carnegie Mellon University, and Emerson of the University of Texas at Austin, working together, and Sifakis, working independently for the Centre National de la Recherche Scientifique at the University of Grenoble in France, developed this fully automated approach that is now the most widely used verification method in the hardware and software industries.” (link)

Related posts: • John Backus passes away;  • Call for nominations for the 2006 SIGART Autonomous Agents Research Award;  • Call for nominations: 2006 SIGART Autonomous Agents Research Award;  

Posted on Tuesday, February 5th, 2008 at 8:48 pm in categories [CS, Computing Research, GENERAL, KR]. Comments feed. Leave a response, or trackback from your own site. edit