Research groups

Research groups within AIAI

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.

Homepage

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.

Homepage

Belle Lab

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

Homepage

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. 

Homepage

Human-Computer Learning Group

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

Homepage

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.

Homepage

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.

Homepage