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."
- Plants: The Future of Energy? Sept. 29, 2014
- Expect More Anxiety and Hope in Ads for Texas Gubernatorial Race Sept. 29, 2014
- #ReportingUT Puts Student Journalists on Assignment Sept. 29, 2014