University of Texas at Austin

Department of Computer Science

research areas

AI and Robotics

• AI Laboratory : publications   projects
• Knowledge-Base Research Group
• Machine Learning Research Group
• Neural Networks Research Group
• Texas Action Group
• Qualitative Reasoning Research Group
• Intelligent Robotics Lab
• Natural Language Acquisition Group
• The UT Austin Villa Robot Soccer Team

Formal Methods

• Automatic Theorem Proving Group
• Programs, Specifications and Proofs Group

Programming Languages and Implementation

Compiler Research Group

Theoretical Computer Science

• Algorithms and Computational Theory
• The Phylogenetic Group

Component-Based Software Development

• Automatic Programming
• Parallel Programming Group
• Product-Line Architecture Research Group

Scientific Computing

• Scientific Computing and Numerical Analysis
• Data Mining Lab
• Parallel Linear Algebra Group
• Visual Eyes

Research at The University of Texas
Elaine Rich
4(4): Winter 1983, 55-57