Previous |
Next |
February 04, 2008, 02:48 PM ET
Computer Scientists Share Prestigious Computing Award
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
Categories: Research
Add Your Comment
Commenting is closed.