Topic: E. Allen Emerson

Computer Sciences Professor Wins Highest Honor in the Field

Feb. 5, 2008

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."

Read more