Texas Christian University - Fort Worth, Texas University of Houston - Houston, Texas Trinity University - San Antonio, Texas 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; University of Texas at San Antonio - Department of Computer Science. 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 Dallas - Department of Computer Science. 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) Angelo State University - San Angelo, Texas University of North Texas - Denton, Texas Texas A&M University - College Station, Texas Stephen F. Austin State University (SFASU) - Nacogdoches, Texas University of Texas - Pan American - Edinburg, Texas