In the latest (2014) independent Research Excellence Framework, the school is ranked in the top ten Computer Science departments in the UK for ‘research power’ with 88% of our research considered of international level. The school also received the second highest rating in computer science in the UK for ‘research environment’ reflecting the School’s commitment to providing an international-class research environment for its staff and students. Research activities in the school include:
Agents Laboratory: research spans the specification, design and implementation of agent-based systems, including logics for agents, agent programming and verification, and the application of agents in simulation and virtual environments.
Automated Scheduling, Optimisation and Planning: explores novel models and computational search methodologies to produce high quality solutions to a range of difficult real-world problems.
Computer Vision Laboratory: performs research in image manipulation, analysis and computer vision to develop novel and efficient techniques for the extraction of quantitative descriptions of viewed objects from a variety of images and image sequences, and to translate those techniques into high quality software tools that can be used to address real world problems. A key feature of the group is its high level of engagement with other disciplines.
Functional Programming Laboratory: research spans a range of topics in the area of functional programming, including category theory, corecursive structures, compiler correctness, declarative debugging, hybrid modelling, reactive programming, mathematical logic, programme optimisation, program transformation, proof assistants, quantum computing, and type theory.
Intelligent Modelling and Analysis: undertakes research into intelligent modelling, using data analysis and transformation techniques to enable deeper and clearer understanding of the complex physical and physiological problems. A particular strength of the group lies in the
bio-medical and security fields where extremely large data volumes have to be analysed in (near) real-time to very high levels of accuracy.
Mixed Reality Laboratory: is an interdisciplinary studio facility where computer scientists, psychologists, sociologists, engineers, architects and artists collaborate to explore the potential of ubiquitous, mobile and mixed reality technologies to shape everyday life.
The school is involved in the following cross-disciplinary centres:
- ADAC supports research that involves analysing large and complex data sets.
- Centre for Plant Integrative Biology is a systems biology research centre focusing on mathematical and computational modelling of plants.
- Horizon focuses on the role of 'always on, always with you' ubiquitous computing technology in the Digital Economy.
- LANCS is an initiative spanning four universities with the strategic aim of strengthening and growing operational research in the UK.