|
Department of Computer Sciences. Research areas: Formal Methods; AI and Robotics; Operating, Distributed, and Software Systems; Networking and Multimedia; Compilers, Architecture, and Technology; Theoretical Computer Science; Graphics and Visualizatio... http://www.cs.utexas.edu/ |
|