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.
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.
Functional programming, types, semantics, program verification, and new programming models
Quantum Informatics studies the structure, the behaviour, and the interactions of quantum technology.
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.
This article was published on