02/04/2008 - ACM, the Association for Computing Machinery, has named Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis the winners of the 2007 A.M. Turing Award, widely considered the most prestigious award in computing, for their original and continuing research in a quality assurance process known as Model Checking.
08/09/2007 - Marvin, a self-driving Isuzu SUV programmed by University of Texas at Austin computer scientists and members of Austin Robot Technology (ART), passed a recent driving test and will advance to the semifinals of the Defense Advanced Research Projects Agency's (DARPA) 2007 Urban Challenge race.
06/05/2007 - The University of Texas at Austin Center for Information Assurance and Security (CIAS), a multi-disciplinary center housed in the Department of Computer Sciences, has achieved the Committee on National Security Systems (CNSS) courseware certification. The certification meets the requirements for Information Systems Security Professionals and for System Certifiers certifications and is an important step toward earning a National Center of Academic Excellence in Information Assurance Education designation.
04/04/2007 - TRIPS (The Tera-op, Reliable, Intelligently adaptive Processing System) is a revolutionary new polymorphous microprocessor architecture designed and built by the Department of Computer Sciences at The University of Texas at Austin. For the past seven years the research team, led by Professors Doug Burger, Stephen Keckler and Kathryn McKinley, has been working on the design of the processor, an updated cross-platform compiler and the instruction set architecture needed to run it.
01/18/2007 - Dr. Peter Stone, assistant professor in the Department of Computer Sciences at The University of Texas at Austin, received the 2007 Computers and Thought Award from the International Joint Conferences on Artificial Intelligence (IJCAI).
11/08/2006 - UTCS Chairman J Strother Moore was selected a Fellow of ACM, the Association for Computing Machinery.
09/24/2006 - To enable emergency responders and others to establish temporary wireless networks in the future, electrical engineering researchers at The University of Texas at Austin have received $6.5 million from the Defense Advanced Research Projects Agency to understand the physical constraints on such networks.
03/21/2006 - Professors Robert Boyer and J Strother Moore and Senior Research Scientist Matt Kaufmann, all from the University of Texas at Austin Computer Sciences Department, have been awarded the 2005 Software System Award by the Association for Computing Machinery (ACM) for their work on the Boyer-Moore Theorem Prover.
06/06/2005 - IBM and others are racing to create chameleon chips that change to suit the job.
04/14/2005 - The Center for Information Assurance and Security at the University of Texas has joined forces with the United States Navy on a project that will help improve the protection of Navy defense data systems.