2007 Turing Award

I think Turing Award is an important award for whom had great contribution towards computer science. However, it seem less people discussed it in Taiwan.

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.

The method, called Model Checking, is the most widely used technique for detecting and diagnosing errors in complex hardware and software design. It has helped to improve the reliability of complex computer chips, systems and networks.

Original article Dr.Dobb 2007 Turing Award Winners Announced