*********************************
There is now a CONTENT FREEZE for Mercury while we switch to a new platform. It began on Friday, March 10 at 6pm and will end on Wednesday, March 15 at noon. No new content can be created during this time, but all material in the system as of the beginning of the freeze will be migrated to the new platform, including users and groups. Functionally the new site is identical to the old one. webteam@gatech.edu
*********************************
Sponsored by the Association for Computing Machinery, this lecture will be given by the winners of the 2007 Turing Award: Edmund M. Clarke (Carnegie Mellon University), Allen E. Emerson (University of Texas at Austin), and Joseph Sifakis (CNRS/Verimag Laboratory in France).
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.
