Tag Archive: Department of Computer Sciences 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."

Chang and Inman Appointed to Congressional Commission on Cyber Security

Dr. Fred Chang, research professor of computer sciences at The University of Texas at Austin, and Admiral Bobby Inman, the Lyndon B. Johnson Centennial Chair in National Policy at the LBJ School of Public Affairs, have been appointed to the new Commission on Cyber Security, established to make sure that the next president of the United States has an updated strategy to counter growing cyber threats.