Informatics: LFCS: Theory and Foundations of Computer Science, Databases, Software and Systems Modelling Doctor of Philosophy - PhD

The Laboratory for Foundations of Computer Science (LFCS) continues to lead the way in the development of mathematical models, algorithms, theories and tools that probe the possibilities of computation and communication.

Our students benefit from being part of one of the largest and strongest groups of theoretical computer scientists in the world.

Our research is aimed at establishing deep understanding of computation in its many forms. Using advanced mathematical principles, we create theories and software tools allowing fundamental capabilities of computation to be explored, as well as designing languages that can be used to construct safe and effective programs.

Areas of interest within LFCS include:

* algorithms and complexity

* cryptography

* databases

* logic

* programming languages and semantics

* performance modelling

* quantum computing

* security and privacy

* software modelling and testing

* verification

Reputation

The University of Edinburgh consistently ranks among the world's top universities for Computer Science, including 22nd in the world and 5th in the UK in the QS World University Rankings by Subject 2026.

The Research Excellence Framework (REF) 2021 ranked our School 1st in the UK for research power in Computer Science and Informatics. This means you will learn from experts at the forefront of their fields, undertaking cutting-edge research in a wide range of areas.

Environment

You will be part of a large, vibrant department with around 2000 students across undergraduate, masters and research programmes and 150 academic staff.

You will study in the heart of Edinburgh city centre, regularly voted as one of the most desirable places to live in the world, and one of the UK’s fastest-growing tech hubs.