Research groups

Research Groups

Artificial Intelligence Modelling Lab

The Artificial Intelligence Modelling Lab (AIML) engages in theoretical and applied research in Artificial Intelligence (AI) and Machine Learning (ML), spanning areas such as interactive theorem proving, formal verification, process modelling, and machine learning applied to healthcare and other complex domains.

Artificial Intelligence Modelling Lab

Autonomous Agents Research Group

Research in the group focusses on the development of autonomous agents capable of interaction with other agents to accomplish tasks in complex dynamic environments.

Autonomous Agents Research Group

Belle Lab

The Lab carries out research in artificial intelligence, by blending ideas from machine learning, knowledge representation, automated planning and multi-agent systems.

Computational Biology and Bioinformatics Group

The focus in the computational biology and bioinformatics group is to develop computational strategies to store, analyse and model a variety of biological data (from protein measurements to insect behavioural data).

Computational Biology and Bioinformatics

Computational Neuroscience and Neuroinformatics Group

The group studies how the brain processes information. A major goal is to understand how, in contrast to most computer systems, the brain is so robust and adaptive. These insights will be important to build better future hardware and software. At the same time, tools from informatics such as image analysis, computer simulation, and machine learning are essential to accelerate neuroscientific discovery.

Computational Neuroscience and Neuroinformatics

Data-Intensive Research Group

Multidisciplinary teams need sustained frameworks encouraging collaboration to address today’s challenges. We engage with application communities to build platforms for their long-running campaigns, exploiting our architectures and data-streaming systems that bridge from conceptualised methods to data and computation to deliver optimisation, stability and innovation.

Human-Computer Learning Group

Research the design of collaborative, adaptive AI systems for reasoning about the human in the loop.

AI and Data Science Lab

Machine Learning Group

Machine learning is the study of computational processes that find patterns and structure in data. The group is interested in a broad range of theoretical aspects of machine learning as well as applications. Much of the current excitement around machine learning is due to its impact in a broad range of applications; the applications considered by this group include astronomy, systems biology, neuroscience, natural language processing, robotics, and computer vision.

Machine Learning

Mathematical Reasoning Group

The processes studied by the MRG have included theorem proving via proof methods, proof patching, analogy, symmetry, abstraction, diagrams and reflection; the learning of new proof methods, the formalisation of informally stated problems, the formation of concepts and conjectures and the interaction of automated systems with human users.

Mathematical Reasoning Group

Planning and Activity Management Group

The group explores representations and reasoning mechanisms for planning and inter-agent collaboration between teams of people and computer systems. The group develops generic approaches by engaging in specific applied studies. Applications include crisis action planning, command and control, space systems, manufacturing, logistics, construction, procedural assistance, help desks, emergency response, etc.

Intelligent Systems - Planning and Activity Management

Related Institutes

Artificial Intelligence and its Applications Institute (AIAI)

Related Research Centres

UKRI Centre for Doctoral Training in Biomedical AI

EPSRC Centre for Doctoral Training in Data Science