Research Groups

Research groups and projects connected to the theme of Foundations of Computation.

Research Groups

Algorithms and Complexity Group

Main research interets are in Randomized Algorithms (especially algorithms for sampling and counting), Spectral Graph Theory, Algorithms for Massive Graphs, Computer Algebra, Computational Complexity, Algorithmic Game Theory, Algorithms for Verification, Quantum Complexity and Cryptography, - and with some interest in most aspects of algorithms and complexity. 

Algorithms and Computational Complexity

Database Group

The interests of the group span all aspects of database theory and systems. Topics of current interest include query languages, graph databases, uncertain data, data integration, reasoning about data, incremental computation, and many others. The group is supported by multiple grants from EPSRC, ERC, and industry, and its members actively collaborate with a number of industrial partners, including Neo4j and Huawei.

Database Group

Mobility and Security Group

The Mobility and Security research group have a range of projects and collaborations in the area of programming language security for systems which depend on the mobility of code, data, or both. Common themes include ensuring the secure use of resources such as time, memory space, or network access; and the verification of security with machine-checked proof.

Mobility and Security

Performance Evaluation Process Algebra Group

Jane Hillston's Performance Evaluation Process Algebra (PEPA) is an expressive formal language for modelling distributed systems. PEPA models are constructed by the composition of components which perform individual activities or cooperate on shared ones. To each activity is attached an estimate of the rate at which it may be performed. Using such a model, a system designer can determine whether a candidate design meets both the behavioural and the temporal requirements demanded of it.

PEPA Group

Programming Languages and Foundations at Edinburgh

Programming Languages and Foundations is one of the largest research activities in LFCS, including 20 academic staff, 4 postdoctoral researchers, and 10 current PhD students, working on functional programming, types, verification, semantics, software engineering, language-based security and new programming models.

Programming Languages and Foundations at Edinburgh

Quantum Informatics Research Group

The central focus of the Quantum research is the transformation of quantum information, especially to and from its classical form. Understanding quantum informational phenomena enables quantum technology, which promises unparalleled speed and security.

Quantum Informatics

Security, Privacy and Trust Group

The Security, Privacy and Trust Group is a broad group of researchers whose expertise ranges from cryptography and formal verification to human factors and social aspects. The group's interdisciplinary work pools expertise from Informatics and other disciplines, represented by the Edinburgh Cyber Security, Privacy and Trust Institute which hosts the University's UK Government-recognised Academic Centre of Excellence in CYber Security Research (ACE-CSR).

Security and Privacy group

Software Engineering Group

Research interests span different areas of software engineering, including software design, model driven development, model transformations,  software testing, verification and validation, quality metrics, software energy consumption, machine learning applied to software engineering and economic models of software development.

Software engineering group

Related Institutes

Laboratory for Foundations of Computer Science

Related Research Centres

Edinburgh Cyber Security, Privacy and Trust Institute