| Name |
Research methodologies & topics |
Current PhD student topics |
| Dr Andrew Abel |
|
|
| Dr Guillaume Allais |
|
|
| Dr Robert Atkey |
- formal analysis of programming languages via type theory, denotational semantics, and theorem provers
|
- resource aware type theory
|
| Dr Leif Azzopardi |
Artificial Intelligence and Data Science. Developing, evaluating and modelling information rich and information intensive applications and agents -- and thus we develop novel Recommender Systems and Information Retrieval Systems underpinned by Natural Language Processing, Language Modelling, Machine Learning and Deep Learning.
|
- 4 Year EU funded project on Domain Specific Search and Information Extraction and Retrieval (DoSSIER) for Information Professionals, with projects inc:
- Building economic models of information-interactions
- Modelling and measuring the cognitive costs of interaction
- Developing exploratory search interfaces for professional search
- Deep neural models for contextual search
- 3 Year EPSRC funded project on Cumulative Revelations of Personal Data
- 4 Year EPSRC iCase project with BAE on Optimising Information Intensive Interfaces in High Pressured Situations
- 4 year industry project with Thales on Agent Reliability on Trust and Performance in Human-Agent Collaboration
- 4 year project on Analysing the relationship between Bias and Performance in neural and language models2.5 year Knowledge Exchange Project with BIP Solutions on applying machine learning to procurement search
- Modelling and measuring search engine result pages with economic theory (in collaboration with Microsoft)
- Developing and evaluating interactive conversational search agents (with Capita)
- Developing continuous active learning agents for systematic search
|
| Dr Catherine Chavula |
|
|
| Dr Vikraman Choudhury |
|
|
| Professor Gobinda Chowdhury |
Digital libraries and information services trying to understand how people access and use information and data in different contexts. Recent research includes information systems and services for addressing global challenges and sustainable development.
|
- A comparative Analysis of University Library Automation in Nigeria and United Kingdom
- The development of collection management policy regarding historic/special collections in public/research/academic libraries
- Investigating user interactions with online banking/finance systems
- Using Semantic Web technologies to link datasets, creating metadata for these sets of data or improving the quality of existing metadata
|
| Dr Jan De Muijnck-Hughes |
Novel combination of dependent types, type theory and programming language design, and their application in making systems more trustworthy. |
- type driven development of trustworthy systems; type driven assurance
- of untrustworthy systems; retrofitting programming languages with new
- type systems; threat modelling systems using goal-oriented
- requirements languages; highly-assured programming languages and their implementation; human-factors of dependently typed programming languages
|
| Dr Didier Devaurs |
- Artificial intelligence
- Machine learning
- Deep learning
- Molecular modelling
- Genetic variation modelling
- Biomedical data analysis
|
- Making deep mutational scanning actionable to interpret protein variant effects
- Using AI to characterise unknown bacteriophages in broiler flocks
- Harnessing AI to enhance productivity in horticultural crops
- Monitoring the efficiency and sustainability of medicines manufacturing processes
|
| Dr Milena Dobreva |
- Innovation labs in GLAM (galleries, libraries, archives, museums) sectors
- Decolonising digital heritage collections
- Data spaces for digital heritage
- Digital transformation and digital heritage
- Information behaviour related to dis- and misinformation
- Open science infrastructures
|
- The evolution of Gallery, Library, Archive and Museum (GLAM) Labs
|
| Professor Feng Dong |
- AI to support knowledge discovery
- Visual data analytics
- Computer vision and image analysis
- Health data interoperability
- Medical visualization and computer graphics
|
- Investigating Artificial Scientific Creativity for New Scientific Discovery in Plasma Physics.
- Predicting Suicidal Ideation with Machine Learning Algorithms in Real Time. The study will use patient healthcare records to predict suicidal ideation using data mining techniques.
- Explainable Artificial Intelligence in Radiotherapy: A CT imaging based neural network autonomous system for clinical decision support used in automatic radiation dose calculation for Lung Carcinoma (Lung Cancer).
- Predicting Suicidal Ideation with Machine Learning Algorithms in Real Time. The study will use patient healthcare records to predict suicidal ideation using data mining techniques.
|
| Dr Mark Dunlop |
Usability of mobile systems including mobile text entry, sensor-driven interaction and evaluation of mobiles. He is increasingly interested in digital health applications of mobile HCI research. User, Keyboard, Design, Patient, Smartphones, Application, Mobile Device. |
- Developing a Software Architecture for the Usage of Internet of Things for Water Sustainability in the Agriculture of West Africa.
- Mobile CrowdSourcing.
- Identify novel metrics from free-living physical behaviour data and their relationships with clinical measures and health outcomes.
|
| Dr Jide Edu |
- Controlled penetration testing
- Static/dynamic analysis
- Track vulnerabilities across software versions or deployments
- Map patching timelines Track privacy compliance changes pre/post intervention
- Map data flows to regulatory requirements
- Score compliance via checklists or maturity models
- Measure user security awareness and privacy practices.
|
- Privacy Transparency in Third-Party Application,
- Zero Trust Architecture for Consumer Smart Homes
- Informational Harm from Large Language Models
- Security and Privacy Analysis of AI Assistants Ecosystem
|
| Dr Kieren Egan |
- Healthy ageing & digital health.
- Clinical study designs, epidemiology, and the development and implementation of innovations to impact upon healthcare.
- Caregivers & people with Dementia.
|
- Development and implementation of a virtual ward to support remote and rural Community Hospitals in the Western Isles.
- Preventative & personalised digital health technologies in dementia: the development of a digital prototype to better support people with dementia & their carers. explore supporting early-stage maintenance of physical activity in caregivers at home using digital devices and/or motion sensors.
|
| Dr Mohamed Soliman Elawady |
- Robotics vision
- Medical imaging
- Image processing and analysis
|
- Developing an AI-based system to analyse Urban landscape changes and provide recommendations to improve sustainability and tackle existing urban limitations.
- Wireless network sensors.
|
| Dr Ali Farooq |
- Human Factors in Cybersecurity
- Human-Computer Interaction
- Human-AI interaction
- Usable Security and Privacy
- Technology adoption
- Darkside of Technology
- Technology and Wellbeing
- Research Methods: Quantitative, Qualitative, and mixed methods
|
- Cyber Diplomacy
- Misinformation, Disinformation and Fake News
- Large Language Models and Cybersecurity
- Security awareness in schools
- Electronic Health Records and Privacy Issues
|
| Professor Anil Fernando |
- Video coding and communications for automated driving
- Virtual/Augmented/Mixed reality applications
- Media applications for 5G/6G
- Video coding for machines
- AI for animal health
- AI for insurance and creative industries
- AI based media for advertising Energy aware media distribution
- AI and media based low cost education for developing countries
- AI based automated animal welfare technologies
|
- Machine Learning as a Tool for Determining the Condition of Various Subsystems of Petroleum Refineries in Nigeria.
- Fully autonomous secured personalised advertising technologies for traditional TV broadcasting (ADVERT4U).
- IoT wireless networks security using blockchain proof of location.
|
| Professor Martin Halvey |
- Multimodel Interaction
- Interactive Information Retrieval
- Human Computer Interaction (HCI)
|
- E Learning HCI.
- Interactive Information Retrieval- Measuring & Modelling Cognitive Cost & Effort.
|
| Dr Ross Horne |
- The design and implementation of secure and privacy-preserving technology
- Threat models and security properties for finding vulnerabilities and proving their absence
- Security policy models for designing access control systems that respect secure information flow
- The fundamentals of security such as the root of trust, digital identity, and authentication
- Concurrency theory and logic applied to security
|
- How do we design, verify and support the adoption of protocols with high security and privacy guarantees?
- Is it possible to design protocols such they automatically build in accountability such that they enforce regulatory requirements?
- How do we define integrity in such a way that it can be formally checked?
- Can we embed dynamic security policies that revoke access as processes learn information into real systems?
|
| Dr Perla Innocenti |
- Cultural Heritage Informatics
- Digital Preservation and Curation
- Migration and social inclusion
- Information practices in heritage routes, from walking pilgrimages to hiking routes
- Ethics challenges in information systems, Information, Digital Libraries, Practice, Heritage.
|
- Digital preservation and curation practices at the Saudi National Center for Archives and Records.
- Assessing ethical risks in information systems.
- Field of Study Development of a virtual community of practice to enhance building knowledge, sharing experiences and technology acceptance among older aged visitors at religious heritages pilgrimage.
|
| Dr Cassandra Kist |
Cultural heritage/memory practices in digital contexts such as:
- the affect of algorithms and cultural influencers on heritage and memory practices
- AI and its relation to 'synthetic' and 'authentic' heritage
- AI and its consequences for the sustainability of intangible heritage
- information behavior of citizen historians in the age of AI
- human computer interaction in heritage contexts
|
- Aligning Queer Cultural Archives with Informal Youth Information Practices
- Designing Conversational Agents for Engaging with Difficult Heritage
|
| Dr Vinod Kumar |
- Machine Learning/ Deep Learning
- Causal Machine Learning (causal inference and causal discovery)
- AI for Healthcare
- Personalised Treatments
- Agentic AI
|
- Causal AI for Personalised Treatments in Complex real-world applications (multiple interventions, multiple outcomes, and/or longitudinal/time-series data)
- Multimodal, Federated, and Continual Learning for Personalised Treatments
- Causal Foundation Models
- Causal Digital Twins
- Synthetic Data Generation, Causal benchmarking, and Evaluation
- Optimisation methods for causal and AI models
- Uncertainty quantification and conformal prediction for Personalised Treatments
- Agentic AI for Personalised Treatments
- Applications of Causal AI for Personalised Treatments in risk prediction and prevention (diabetes, cardiovascular disease, Alzheimer’s disease)
|
| Dr Clemens Kupke |
- Automaton
- Expressive Logic
- Semantics
- Models
- Probabilistic Strategy
- Closure
- Transition System
- Argument
|
- Quantum Computing on noise-resilient quantum computing
- Coalgebraic foundations for quantitative verification
|
| Dr Marilyn Lennon |
- Digital Health
- User-centred design and/or evaluation of health and wellness technologies
- Mobile apps for self management and wellbeing
- Reminder systems
- Lifestyle apps
- Smarthome technologies
- User acceptance and user experience
- Implementation of health technologies in communities, homes, and care settings
- Multimodal interaction
- Haptic and/or audio interaction
|
- The use of data analytics to improve the delivery of telehealth services in Scotland.
- User-centred design of digital products and services for supporting older adults with sensory impairment in their medicine management.
|
| Professor Roma Maguire |
Her research interests include Digital Health, Remote Patient Monitoring, Supportive Care, Predictive Modelling and Values Based Medicine. Her research spans several clinical specialities including cancer, dementia, cardiac and respiratory disease and palliative/end of life care. She has led several multi-site supportive care and digital health studies in the UK and across Europe. |
- Developing a digital tool to manage cognitive decline among people with prostate cancer during treatment.
- Developing a digital Self-Management tool for people with Chronic pain. A co-design, development and feasibility study of a novel inflammatory bowel disease (IBD) remote monitoring digital technology in patients treated with monoclonal antibody biologics (MABs).
- The role of cognitive behavioural therapy as an adjunct to the treatment of patients with asthma, with a focus on remote delivery via app development and other technology.
- Improving Hepatocellular Cancer Risk Detection with explainable and trustworthy AI.
|
| Dr Conor McBride |
- Renaming
- Semantics
- Container
- Programs
- Functions
- Invartiants
- Recursive Definition
- Domains
|
- Linear types
- Graded monads
- linear types
- type theory
- graded modalities
- performance
- quantum computing
|
| Dr Lisa McCann |
Person-centered digital health interventions and working with people across the life course. Her particular interest areas include families with children with complex health care needs, teenagers and young adults diagnosed with cancer, adults diagnosed with cancer, remote patient monitoring, patient reported outcomes and collaborative / co-design approaches to digital intervention design and development.
|
Factors Influencing the Advancement of Digital Health Interventions for Children and Young People in Low to Middle Income Countries: The Case of South Sudan. |
| Prof Wendy Moncur |
Human aspects of cybersecurity. Trust, identity, privacy, security online. Life transitions and the role of the internet – for example, becoming a parent, traumatic events.
|
Improving Access to Online Accounts for Adults Living with Cognitive Impairments and their Caregivers. |
| Dr Yashar Moshfeghi |
- Computer Science User
- Models
- information retrieval
- Brain Activity
- Roles
- Accuracy
- Detention
- Experimental Result
|
- Deterministic models and machine learning.
- Information System Management.
- How machine learning and data gathering techniques can improve a sector in social innovation.
- Detection of cognitive overload from fighter pilot brain signals Description: making use of machine learning technologies to classify time series EEG signals from a fighter pilots allowing for the detection of cognitive overload within the brain.
- Artificial Intelligence.
- Predictive in Ambulance service, using machine learning in the prediction of the volume of call and position of the ambulance service.
|
| Dr Emma Nicol |
|
|
| Dr Fredrik Nordvall Forsberg |
- Dependent type theory, especially homotopy type theory, and its semantics and applications
- Constructive mathematics
- Categorical semantics of programming languages
|
- Retrofitting dependent types to existing programming languages
- Synthetic methods in proof assistants
- Metatheory of data types in homotopy type theory
|
| Dr Karen Renaud |
Human-Centred Security and Privacy. Employing behavioural science techniques to improve security behaviours, and in encouraging end-user privacy-preserving behaviours. |
Development of an age verification mechanism using a range of desktop sensors to gather information about psychological and behavioural differences. |
| Dr Richard Roper |
Software Engineering, Machine Learning, Computer Personnel, Mental Model, Software, Evaluation. |
- Fitness Function Hierarchies for Autonomous Systems Evolution.
- Bringing together the latest research in explainable AI and probabilistic planning to equip future on-board autonomous spacecrafts with robust and interpretable mission planning and scheduling systems.
- AI planning and execution systems for onboard autonomous spacecraft that are capable of robust mission planning.
|
| Dr Dmitri Roussinov |
|
|
| Professor Ian Ruthven |
Information Seeking Theory, Interface design for Information access, User studies. Information retrieval, qualitative and quantitative research methods |
- Reality and Future Vision of Children's Libraries and Information Centres in Kuwait: A Field Study.
- A BizDevOps Team Structure Framework To Enhance The Software Quality.
- Meaning-making is crucially dependent on our ability to find information but we may need to develop new information behaviours and new ways of interacting with information during a meaning-making journey.
- Configurable, Exploratory Search Interfaces: Provide support tools to aid the user in creating search and filtering pipelines for analysing results in the context of academic search
|
| Dr Pejman Saeghe |
|
|
| Dr Keith Smith |
- Theory of complex biological networks
- Data analysis of brain structure and function in vivo
- Graph neural networks
- Graph signal processing
|
- AI and data science theory for high temporal resolution functional connectivity of EEG
- Graph neural networks of protein interaction networks for drug discovery
- Developing data science for analysis of fMRI in Alzheimer's disease
- Analysis of Structural and Functional Connectomes in treatment resistance of Major Depressive Disorder
- Cybersecurity of EEG for privacy preservation
|
| Dr Sotirios Terzis |
Middlewear, Persuasive Computing, Application, Computing, User, Computing Environment, Contexts, Smart Environment. |
Context-aware E-learning for Smart Classroom. |
| Dr Daniel Thomas |
Accurate and ethical measurement of security and cybercrime. By measuring security and cybercrime we can monitor improvement, evaluate interventions and inform regulators. This reveals which techniques work and provides the missing economic incentives to improve security and reduce cybercrime. |
Measuring security. Measuring Cybercrime. Vulnerability modelling. Internet cartography. Internet policy inference. ICS honeypots.
|
| Dr Yingying Zhao |
- Human-centred computing for digital health & wellbeing
- Multimodal ubiquitous computing
- Intelligent interactive system
|
Intention-context Interactive computing for enhancing human reading and learning |