Rice University - Department of Computer Science. Research groups: Algorithms and Complexity; Bioinformatics; Graphics and Geometric Design; Artificial Intelligence and Robotics; Parallel Compilers; Programming Languages; Scalar Compilers; Systems. (Houston, TX) - http://compsci.rice.edu/
University of Texas at Arlington - Department of Computer Science and Engineering (CSE). Research groups: CReWMaN (Centre for Research in Wireless Mobility and Networking); ITLab (Information Technology Laboratory); SECT (Software Engineering Centre for Telecommunication); PICO (Pervasive - http://www.cse.uta.edu/
University of Texas at Austin - 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 VisualizationC - http://www.cs.utexas.edu/