Research groups and projects connected to the theme of Foundations of Computation.
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.
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.
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.
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.
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.
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.
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).
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.