Topic: Model Checking

Prof gets highest computer science honor

Feb. 7, 2008
Prof gets highest computer science honor

E. Allen Emerson, professor of computer sciences, has been awarded the 2007 A.M.

Read more

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