Research staff
All research groups and centres listed by theme

The research in the Department is organised into nine themes, each reflecting common research interests. Each theme has a number of research groups that provide the infrastructure for targeted research and support for PhD students and postdoctoral researchers. Academics are not limited to just one theme and many work collaboratively across a number of themes. Find out more about each of our themes below.

Our themes

Analysis and Verification

Verification is the act of proving or disproving the correctness of intended algorithms and there underlying systems.

Artificial Intelligence

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

Data Science

Data Science enables us to develop novel insights into human, physical, and societal phenomena through the analysis of massive and complex data sets.

Research Themes

Programming Languages

Programming Languages spans foundational issues in language semantics right through to the design and implementation of new languages.

Cyber Security

Cyber Security is a fundamental concern in computing systems, ranging from low-level hardware, to operating systems, to high-level cloud computing.

Software Engineering

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

Research Themes

Systems

Systems research addresses practical and theoretical design, architectural and implementation challenges when realising efficient and reliable software and hardware systems.

Theory and Algorithms

Theory and Algorithms research has broad implications for decision making in engineering, energy, healthcare, and security.

VC

Visual Computing

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

Find out more

  • News
  • Events

News and events

Click here to discover what we've been up to and how you can get involved.