The mainspring of research in LFCS is the study of theories which underlie, or should in future underlie, the analysis and design of computing systems. Algorithms and Computational Complexity Algorithms and Computational Complexity Database Group The Database Group at the School of Informatics is part of the Laboratory for the Foundations of Computer Science. The interests of the group span all aspects of database theory and systems. Logic, Semantics and Concurrency Logic, Semantics and Concurrency Mobility and Security Mobility and Security PEPA Group Quantitative process algebra and performance modelling (PEPA Group) summary Programming Languages and Foundations Functional programming, types, semantics, program verification, and new programming models Quantum Informatics Quantum Informatics studies the structure, the behaviour, and the interactions of quantum technology. Security and Privacy group Research on security and privacy in the School of Informatics of the University of Edinburgh spans a range of topics from cryptography to human factors. Software Engineering Group Software Engineering Group Systems Biology and Bioinformatics Systems Biology and Bioinformatics Summary Verification, Testing, and Model Checking Verification, Testing, and Model Checking Summary Software This page lists some of the softwares developed at LFCS at different times. This article was published on 2024-12-08
