E. Allen Emerson, professor of computer sciences, has been awarded the 2007 A.M. Turing Award, widely considered the most prestigious award in computing, for original and continuing research in a quality assurance process known as “Model Checking.” Emerson received the award, given annually by the Association for Computing Machinery (ACM), with collaborator Edmund Clarke, of …
Resources for People