Mobile menu icon
Mobile menu icon Search iconSearch
Search type

Department of Computer Science

Abstract image of equations

Theory and foundations

Our research covers a wide spectrum of computational and algorithmic principles, quantitative and symbolic techniques, models and mathematical techniques in computer science.

Our facilities

We boast an incredible array of facilities, making our innovative theory and foundations research possible.

It provides the underpinning and deep understanding of computational behaviour, for example, correctness, termination properties, complexity and optimisation, of transition systems providing foundations for software and hardware systems, relationships between systems, of language design principles, of data relevant issues and so on.

In fact, every aspect of computer science has rich theory and computational foundations: program language semantics, modelling of software and hardware systems, databases, security and cryptography, all areas of artificial intelligence, including machines learning, knowledge representation and reasoning and natural language processing.

Across these areas our focus is both on theory from practice and development of techniques and tools with strong theoretical and computational foundations.

Areas of expertise

Our researchers focus their work in the following specialist areas:

Postgraduate research projects


Richard Banach projects

Lucas Cordeiro projects

Dirk Koch projects

Peter Lammich projects

Mustafa Mustafa projects

Giles Reger projects

Rizos Sakellariou projects

Andrea Schalk projects

Carole Twining projects