Research Themes
The School concentrates resources and coordinates activities in five overlapping research themes. The themes are primarily an expression of the major research strengths and directions of the Department, but also serve to coordinate activities and initiatives.
- Algorithms: Complexity and Engineering (ACE)
- Foundations of Computing (FoCo)
- Interaction Design and Evaluation of Socio-technical Systems (IDEAS)
- Software Modelling and Evolution (SOME)
- Validation and Verification (VALVE)
There is also an active working group on Knowledge Discovery and Machine Learning.