The Computer Laboratory has over 200 research workers: academic staff, research associates, and PhD students. Research is carried out across a broad range of subjects within Computer Science. This work is conducted primarily in the following research groups:
- Artificial Intelligence Group: theory and applications of intelligent systems.
- Computer Architecture Group: microarchitecture, VLSI techniques and design, electronic CAD, secure hardware.
- Digital Technology Group: all aspects of technology in particular for pervasive, sentient and mobile computing and communication systems.
- Graphics & Interaction Group (Rainbow): computer graphics, image processing, human-computer interaction, affective computing.
- 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.
- Security Group: security, cryptology, and their applications.
- Systems Research Group: networks, operating systems, multimedia, mobile and sensor systems, distributed systems.