An inter-university research collaboration to develop and extend a range of technologies to provide integrated methods and services for the capture, modelling, publishing, reuse and management of knowledge. Universities involved: Southampton, Aberdeen...

Department of Computer Science. Research projects: Digital media (graphics, computer vision, speech); Cryptography and information security; Languages and architecture; Machine learning; Mobile and wearable computing; Quantum computing; System verific...

Department of Computer Science. Research groups: Algorithms problems empirical studies; Software engineering; High performance information systems; Advanced use of computers in education; High-level internet programming with persistent objects; High-p...

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

Department of Computer Science. Research groups: Verification and testing; Speech and hearing; Natural language processing; Computer graphics; Machine learning; Neurocomputing and robotics.

Department of Computing Science and Mathematics. Research groups in computing: Applied formal methods; Neural computing; Telecommunications service engineering.

School of Computing. Research groups: Constraint programming and OR; Knowledge representation and reasoning; Multi-disciplinary informatics; Perception and language; Scientific computation and visualisation; Theoretical computer science.

Research and teaching department. Details of the research programs and taught degrees, news, events and staff information.

Department of Computer Science. Research areas: Database, Information and Knowledge Based Systems; Dependable Systems; Cognitive Science; Image Systems Engineering; Textures; Intelligent Systems; ULTRA.

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...