The research in the department is conducted primarily in small research groups. Many of them manage their own web spaces on this site, with lots more information about and results from projects:
- Artificial Intelligence Group
Theory and applications of intelligent systems. - Computer Architecture Group
Microarchitecture, VLSI techniques and design, electronic CAD, secure hardware. - Energy and Environment Group
Applying computer science to address renewable energy integration, energy demand reduction, and the assessment and management of environmental impact from anthropogenic activities. - Graphics & Interaction Group (Rainbow)
Computer graphics, image processing, human-computer interaction, affective computing. - Learning and Human Intelligence Group
- Natural Language and Information Processing Group
Computational modelling of natural (human) languages and related applications. - Programming, Logic, and Semantics Group
Programming languages, compilers, and analysis; development and application of automated reasoning tools; mathematical models of hardware, software, and networks; finite model theory. -
Quantum algorithms, complexity, combinatorics, dynamics, compilation, and architecture.
- Security Group
Security, cryptology, criminology, and their applications. - Systems Research Group
Networks, operating systems, multimedia, mobile and sensor systems, distributed systems.
