The Foundations of Computing group is a research group formed about four 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, machine learning and financial computing.

We have existing (or imminent) collaborations with the University of Glasgow, University of Liverpool, University of Oxford, University of Technology Sydney, NASA Ames, University of Twente, INRIA, University of Grenoble Alpes, Università Degli Studi Trento, Hogskolan I Skovde, University of Sheffield, Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, Heich Consult GmbH and Centro Ricerce Fiat SCPA.