Informatics: LFCS: Theory and Foundations of Computer Science, Databases, Software and Systems Modelling MPhil

The University of Edinburgh

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 modeling, quantum computing, security and privacy, software modeling and testing, and verification.

Career opportunities

Our graduates are in high demand for postdoctoral academic roles. In addition, the skills you will graduate with can be applied to roles in industry, particularly finance, software development and consultancy.

Training and support

As a research student at LFCS, you will have access to our highly respected academic staff community, which includes Fellows of the Royal Society and a winner of a Blaise Pascal medal. Our students regularly receive ‘best paper’ awards at conferences.