Skip to main content

Faculty

Driving on Autopilot

02/28/2012 - Imagine driving down a street at rush hour. It’s a typical commute, but this time, you’re reading a newspaper in the backseat. The driver’s seat is empty—your car is driving itself. Sounds like a fantasy, right?

Avoiding Red Lights by Booking Ahead

02/21/2012 - Discovery News asks, "Computers can reserve your plane ticket, your hotel room and your restaurant table. Why not your place at an intersection?"

ACL2 Team Wins Gold

01/28/2012 - At the VSTTE conference, held as part of the POPL Symposium in Philadelphia, UTCS's very own ACL2 team was awarded one of the two Gold Medals in the 2012 VSTTE verification competition.

Faculty Research Gifts

Faculty Research Gifts

01/25/2012 - UTCS is a leading research institution in computer science. Collaborations with industry and industry support ensure superior research continues to move the Texas digital economy forward.

Stephen Keckler Awarded ACM Fellow

12/12/2011 - Professor Stephen Keckler, professor at The University of Texas at Austin Department of Computer Science, was awarded Fellow status with a citation "for contributions to computer architectures and technology modeling."