Skip navigation
Informatics: AIAI: Foundations and Applications of Artificial Intelligence, Automated Reasoning, Agents, Data Intensive Research at The University of Edinburgh - UCAS

The University of Edinburgh

Degree level: Postgraduate

Informatics: AIAI: Foundations and Applications of Artificial Intelligence, Automated Reasoning, Agents, Data Intensive Research (Research)

Course options

2025 - 2026
Apply

There are other course options available which may have a different vacancy status or entry requirements – view the full list of options

Course summary

At the Artificial Intelligence and its Applications Institute (AIAI), 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
We also research 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
You'll find a wide range of research areas within AIAI conducted across themes such as:
  • Interpretable and Explainable AI
  • Neuro-Symbolic AI
  • Autonomous and Multi-agents Systems
  • Mathematical/Probabilistic and Logical Reasoning
  • Formal Modelling and Verification
  • Planning and Activity Management
  • Data-Intensive Research
  • Network Science

Modules

See our website for detailed programme information.

How to apply

International applicants

This course has a subject classification which requires students whose nationality is outside the European Economic Area (EEA) or Switzerland to have an ATAS certificate, irrespective of country of residence at the point of application.

Further information can be found on the UK Government's website: www.gov.uk/academic-technology-approval-scheme

Entry requirements

Entry requirements for individual programmes vary, so please check the details for the specific programme you wish to apply for on our website. You will also need to meet the University’s language requirements.

Fees and funding

Tuition fees

No fee information has been provided for this course

Tuition fee status depends on a number of criteria and varies according to where in the UK you will study. For further guidance on the criteria for home or overseas tuition fees, please refer to the UKCISA website .

Additional fee information

Tuition fees vary between degree programmes. Find the specific fees for your chosen programme on our website.
Informatics: AIAI: Foundations and Applications of Artificial Intelligence, Automated Reasoning, Agents, Data Intensive Research at The University of Edinburgh - UCAS