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.