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)
University of Dallas
Department of Mathematics and Computer Science (Irving, TX).
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 Information Community Organization); LPL (Learning and Planning Group).
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 VisualizationComponent-Based Software Development; Numerical Methods;