Research Areas

Research in the department is broadly organized around the following areas. A number are further broken down into subareas. Information on the subareas can be found on the main area page.

• Algorithms and Theory
• Artificial Intelligence
• Automated Reasoning, Machine Learning and Natural Language Processing
• Vision and Robotics
• Architecture, Parallel Computing and Systems
• Computer Architecture
• Compilers
• Parallel Computing
• System Architecture
• Bioinformatics and Computational Biology
• Cultural Computing
• Database and Information Systems
• Graphics, Visualization and HCI
• Graphics
• Human-Computer Interfaces
• Systems and Networking
• Networking and Distributed Systems
• OS and Security
• Real-Time and Embedded Systems
• Programming Languages, Formal Systems, and Software Engineering
• Formal Systems
• Programming Languages
• Software Engineering
• Scientific Computing