MSc by Research (Informatics) - LFCS- Theory and Foundations of Computer Science, Databases, Software and Systems Modelling in Edinburgh United Kingdom | The University of Edinburgh

The Laboratory for Foundations of Computer Science (LFCS) remains at the forefront of creating mathematical frameworks, computational methods, fundamental theories, and practical tools that explore the boundaries of computing and information exchange.

Students here enjoy membership in one of the world's most extensive and accomplished communities of theoretical computer science experts.

Our work focuses on gaining profound insights into various computational paradigms. Through sophisticated mathematical approaches, we develop conceptual frameworks and programming utilities that enable investigation of computation's core potential, while also crafting languages for building secure and efficient software solutions.

Key research domains in LFCS encompass: algorithmic design and computational complexity, cryptographic systems, data management, formal logic, language development and meaning analysis, system performance evaluation, quantum information processing, data protection, software architecture assessment, and program correctness verification.