The University of Texas at Austin

Campus & Community - Model Checking  RSS

  • Prof gets highest computer science honor

    By Tara Chandler
    Published: Feb. 7, 2008
    Prof

    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