February 4, 2008
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
Posted on Monday February 4, 2008 | Permalink |Comments
Commenting is closed for this article.
Previous: Answer Your Cellphone. The Taxman Is Calling.
Next: Notes on the Smart Pen
The Turing Award is considered the ¨Nobel Prize of Computing¨!
This is a great honor for the Prof, the CD Dept, and for the University.
Congratulations!
— UTCS Alum Feb 14, 01:56 PM #