Department of Computer Science. Research in Algorithm Design; Logic, Language and Computation; Software Engineering.

Department of Computer Science. Research groups: Information, media and communication; Logic and foundations of programming; Parallel computing; Vision; Risk assessment and decision analysis; Knowledge representation and reasoning; Distributed systems...

Department of Computer Science. Computer learning research centre and Theory of Computing.

Computer Learning Research Centre. Research in: Computer learning; Inductive and transductive inference; Universal prediction; High-dimensional data analysis.

School of Informatics. Research groups: data and decision engineering, information systems, and interactive systems design.

Department of Computing Science. Research groups: Dependability; Distributed systems; Parallelism; Theory; VLSI design.

Department of Computing Science: Centre for Software Reliability (CSR).

School of Computer Science and Information Technology. Research: Automated scheduling, optimisation and planning; Interactive media; Languages and programming; Recognition, Reasoning and vision; Mixed reality laboratory.

Computing Laboratory. Main research groups: Programming research; Numerical analysis.

Computing and Information Systems.