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.
Logic and Artificial Intelligence
Logic and Artificial Intelligence research encompasses foundational studies in Logic and a variety of Artificial Intelligence disciplines.
Distributed Software Engineering
Distributed Software Engineering research addresses the challenges of building dependable, adaptive and secure distributed systems.
Visual Information Processing
Visual Information Processing research covers a range of topics including vision, graphics, intelligent behaviour understanding, and biomedical image computing.
Quantitative Analysis and Decision Science
Quantitative Analysis and Decision Science research ranges from optimisation, performance engineering and knowledge discovery to quantitative verification and security.
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