Clarke, Emerson & Sifakis named 2007 A.M. Turing Award Laureates
Their innovations transformed the 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, thus increasing the 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.
The Turing Award, first presented in 1966, and named for British mathematician Alan M. Turing, is widely considered the “Nobel Prize in Computing.” It carries a $250,000 prize, with financial support provided by Intel Corporation and Google Inc.
i agree with you!