Research in the School is focused around the following core themes of theoretical and practical computer science.
Artificial intelligence and symbolic computation including constraint programming, computational algebra and computational logic and natural language processing, image processing and robotics.
Computer systems including cloud computing and distributed systems, next-generation internet, sensor systems, pervasive systems and data linkage analysis.
Programming languages with an emphasis on type systems and parallelism in functional programming languages.
Human Computer Interaction including pervasive and ubiquitous computing, input and output technologies, intelligent interactive systems and visualisation.
Health Informatics focusing on biomedical models, hypotheses, and systems for future biomedical research projects using data from both studies and simulations.
The Research Software Group is focused on interdisciplinary computational research and development of underpinning research software, training in scientific computing, and studies in research software aspects.