The Association for Computing Machinery announced today that three computer scientists in academe will be honored for their development of “model checking,” an automated process that allows computer hardware and software engineers to spot errors in computer systems. The scientists will share a $250,000 prize as winners of the 2007 A.M. Turing Award, which is named after Alan M. Turing, a British mathematician.
The awardees are Edmund M. Clarke of Carnegie Mellon University, E. Allen Emerson of the University of Texas at Austin, and Joseph Sifakis of France’s Centre National de la Recherche Scientifique in Grenoble. The three men will be honored at an association banquet in June.
Stuart Feldman, the president of the association, said the process the men created has been especially beneficial to manufacturers of semiconductor chips, allowing them to operate more efficiently.—Andrea L. Foster
Developing online and blended learning programs requires research and collaboration. Learn how top technology companies are partnering with campuses across the country to advance online learning as it becomes an increasingly important aspect of higher education.