Research course

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

University of Edinburgh · School of Informatics
PhDMPhilMSc by research

Entry requirements

All applicants must meet our general entry and language requirements.

Months of entry

January, December, November, October, September, August, July, June, May, April, March, February

Course content

In this information age, the formalised representation of knowledge and automation of reasoning form the basis of the computerised systems that shape our world.

At the Centre for Intelligent Systems and their Applications (CISA), we lead the way in research into this vital field, both in facilities and quality of research.

You'll find a wide range of research areas within CISA, from abstract research using logic and theorem-proving methods to systems-oriented research. Our current research groups encompass:

  • agents and multi-agent systems
  • knowledge systems
  • mathematical reasoning
  • planning and activity management
  • software systems and processes.

Intelligent systems are a driving force for change in areas ranging from reasoning on the web to industrial supply chain management. Aided by our links with commercial and government bodies, the research you will undertake could shape the future of technology.

Fees and funding

Visit Scholarships and Student Funding Services at

Qualification and course duration


part time
72 months
full time
36 months


part time
48 months
full time
24 months

MSc by research

part time
24 months
full time
12 months

Course contact details

School of Informatics Graduate School
+44 (0) 131 650 3091