Tag Archive: quality assurance process RSS

Computer Sciences Professor Wins Highest Honor in the Field

E. Allen Emerson, professor of computer sciences at The University of Texas at Austin, 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."