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 This article was published on 2024-03-18
