Research
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.