The following areas represent ongoing research efforts by various academic members of staff within the department. For more information, research or collaboration proposals, please reach out to the contact person listed in each area.
Computational complexity and optimisation
Integrated risk reduction of information-based infrastructure systems
Model extraction (informal descriptions to formal representations)
Automation of formal programming syntax generation
Automation of project process estimation
High-level description language design
Distributed computing systems and architectures
Requirements engineering - methods, management and automation
System development including real-time scheduling, stochastic modelling, and Petri-nets
Gene regulation ensemble effort for the knowledge commons
Automation of gene curation; gene ontology adaptation
Classification and effective application of curation tools
Pervasive electronic monitoring in healthcare
Health and social care modelling
Missing data in healthcare records
Neuroimaging
Metabolomics
Technology for an ageing population
Education, technology and cognitive disabilities (e.g. augmented reality)
Assistive technologies in the context of the elderly and individuals with sensory and motor impairments in institutional environments
Quality of life, independence and security - investigating the use of robotic vehicles, spoken dialogue systems, indoor positioning systems, smart wearables, mobile technology, data-driven systems, machine learning algorithms, optimisation and spatial analytic techniques