The University of Texas at Austin

Campus & Community - A.M. Turing Award  RSS

  • Prof gets highest computer science honor

    By Tara Chandler
    Published: Feb. 7, 2008

    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 …

    Read this story

    Comments disabled No Comments