The research in the Department is organised into five sections, each reflecting common research interests.

Each section has a number of research groups that provide the infrastructure for targeted research and support for PhD students and postdoctoral researchers.

Research Themes

Image of robotic and human hand.

Logic and Artificial Intelligence

Logic and Artificial Intelligence research encompasses foundational studies in Logic and a variety of Artificial Intelligence disciplines.

Find out more

Image of a networking game

Distributed Software Engineering

Distributed Software Engineering research addresses the challenges of building dependable, adaptive and secure distributed systems.

Find out more

Hand image on computer screen

Visual Information Processing

Visual Information Processing research covers a range of topics including vision, graphics, intelligent behaviour understanding, and biomedical image computing.

Find out more

Research Themes

Image of graphical data

Quantitative Analysis and Decision Science

Quantitative Analysis and Decision Science research ranges from optimisation, performance engineering and knowledge discovery to quantitative verification and security.

Find out more

Programming image

Programming Languages and Systems

Programming Languages and Systems is a section that address theoretical and practical challenges in languages and architectures to ensure fast, efficient and correct software and hardware

Find out more