Find out more about studying Informatics: LFCS: Theory and Foundations of Computer Science, Databases, Software and Systems Modelling PhD at The University of Edinburgh? We've gathered all the key details, entry requirements, modules, fees, and more. Take the next step by booking an open day to explore it for yourself.
PhD/DPhil - Doctor of Philosophy
Main Campus
Part Time
May 2026
6 Year
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 complexitycryptographydatabaseslogicprogramming languages and semanticsperformance modellingquantum computingsecurity and privacysoftware modelling and testingverification
