Research course

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

Institution
University of Edinburgh · School of Informatics
Qualifications
PhDMPhilMSc by research

Visit the institution website for COVID‑19 updates

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

Qualification, course duration and attendance options

  • PhD
    part time
    72 months
    • Campus-based learningis available for this qualification
    full time
    36 months
    • Campus-based learningis available for this qualification
  • MPhil
    part time
    48 months
    • Campus-based learningis available for this qualification
    full time
    24 months
    • Campus-based learningis available for this qualification
  • MSc by research
    part time
    24 months
    • Campus-based learningis available for this qualification
    full time
    12 months
    • Campus-based learningis available for this qualification

Course contact details

Name
School of Informatics Graduate School
Email
phd-admissions@inf.ed.ac.uk
Phone
+44 (0) 131 650 3091