These three professors received this award, widely considered the most prestigious in computing, for their original and continuing research in a quality assurance process known as Model Checking. 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. Dr. Clarke of Carnegie Mellon University, and Dr. Emerson of the University of Texas at Austin, working together, and Dr. 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.

The Turing Award Lecture is one of the highlights of Embedded Systems Week 2008, a collection of conferences, tutorials, and workshops centered on the various aspects of embedded systems research and development.

The public is invited to attend the Turing Award Lecture free of charge.