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.