Informatics: CISA: Automated Reasoning, Agents, Data Intensive Research, Knowledge Management

Entry requirements

A UK 2:1 honours degree, or its international equivalent, typically in an area of informatics, such as artificial intelligence, cognitive science or computer science. You should have experience in computer programming.

We may also consider a UK 2:1 honours degree or its international equivalent, in engineering, linguistics, mathematics, philosophy, physics or psychology.

Months of entry

Anytime

Course content

At the Artificial Intelligence and its Applications Institute, we enable computer systems to reproduce and complement human abilities, work with people, and support collaboration between humans. We conduct world-leading research in the foundations of Artificial Intelligence (for example, in knowledge representation and reasoning, emergence of meaning, theory and ontology change, creativity, computer-based proof) and its applications to intelligent systems (for example, autonomous and multi-agent systems, social computation, scientific collaboration platforms, web semantics and linked data).

Our research methods focus on the development of models of knowledge, reasoning, and interaction that can be used to understand and automate aspects of human and machine intelligence, but are also understandable and usable to the designers and users of AI systems in order to address broader issues such as fairness, accountability, transparency and safety.

To achieve this, we combine theoretical research into AI models, architectures and algorithms with a strong element of applied research. This has led to a strong track record in using our methods to address real-world problems in healthcare, scientific collaboration, social computing, emergency systems, transportation, engineering, aerospace and others.

You'll find a wide range of research areas within AIAI conducted across themes such as:

Interpretable and Explainable AI

• Autonomous and Multi-agents Systems
• Mathematical/Probabilistic and Logical Reasoning
• Formal Modelling and Verification
• Planning and Activity Management
• Data-Intensive Research