School of Computer Science. Research groups: Applied research in information systems; Control and instrumentation; Distributed and parallel systems; Radionavigation; Optoelectonics; Quantum computation and communication; Systems integration.
School of Computing and Engineering. Research groups in AI and Formal methods; Database access; Interactive technology; Numerical and neural computing; Software engineering.
Computer Science (School of Engineering and Applied Science). Research interests include: Algebraic computing; Data fusion and visualisation; Distributed and networked applications.
Centre for Software Reliability (CSR). Research interests: Software dependability (particularly safety and reliability) modelling; Software fault tolerance; Software metrics and quality assurance; Fundamental issues for safety critical systems.