The Foundations of Computing group is a research group formed about two years ago. It leverages existing strengths within the Department of Computer Science and combines it with new expertise brought in by recently appointed staff members to build a strong capacity in the area of foundations of computing and its applications.

Our specific areas of research include logic, theory of programming languages, formal verification, interactive theorem proving, model checking, information security, algorithms and complexity, quantum information processing and financial computing.

We have existing collaborations with the University of Glasgow, University of Liverpool, University of Oxford, London School of Economics, University of Technology Sydney, NASA Ames, HP Labs, Logica and Royal Bank of Scotland.