Academic staff

Research interests: Post-quantum and quantum cryptography, zero-knowledge proofs and zk-SNARKs, security, Privacy, and Transparency of AI/ML Systems, applied cryptography

Research interests: Language Models; Data and Parameter Efficient Learning; Domain Adaptation and Transfer Learning; Model Interpretability; AI and Law

Research interests: (Co)algebra and Concurrency theory

Research interests: State-based software testing, model-based testing, model inference

Research interests: Social media, misinformation, and abuse analysis

Research interests: Machine hearing; Artificial intelligence in healthcare; Music technology

Research interests: Formal verification, Isabelle theorem prover, higher-order logic, formalisation of category theory

Research interests: Combinatorial Optimisation, Approximation Algorithms, Conditional lower bounds, Data Structures and Extremal Combinatorics

Research interests: Human-Robot Collaboration; Social Robotics; Affective Computing; Human Behaviour Modelling; Social Perception

Research interests: AI in Healthcare, Multi-modal Learning, Trustworthy Machine Learning, Adversarial Machine learning
Data-efficient Learning, Generative Modelling & Data Synthesis

Research interests: Automatic recognition of atypical speech, detection and tracking of verbal and non-verbal traits in speech and language, EDI issues in speech technology research and applications

Research interests: Cybersecurity, Safety and High Integrity Systems, Threat Modelling, Security of Robotics, Digital Twin Security and Covert Channels

Research interests: Logic, algebra, coalgebra, category theory

Research interests: Quantum Cryptography, Applied Cryptography, Hardware Security

Research interests: Formal methods; Refinement; Distributed systems; Testing; Verification of concurrent systems

Research interests: Machine learning, computer vision, image processing, and remote sensing.

Research interests: Software Testing; Diversity-Based Testing Techniques; Search-Based Software Testing; Mutation Testing; Automated Test Data Generation; Test Case Prioritization and Selection

Research interests: Algorithms for energy-efficient machine learning, Neuromorphic and unconventional computing, Reservoir computing and Computational modelling of spintronic systems

Robotics, Robot Learning, World Models, Robotic manipulation, Learning from Demonstrations, Predictive Control, Foundational Models (VLA, LBM)

Research interests: Hardware Security of the IoT Devices, 5G and Next Generation Communication Security, Decentralized Communication Security
Security & Privacy in Tactile-Internet-based Applications

Research interests: Audio and speech processing, spoken language processing, audiovisual processing

Research interests: Mathematics for programming: verification and semantics, Probabilistic programming, Compositional modelling, Machine learning, Trustworthy AI, Linear Logic and Modal Logic.

Research interests: Speech processing; Audio processing; Machine Learning; Deep Learning; Artificial Intelligence; Natural Language Processing. Speech and Language Technologies

Research interests: Automated systematic test generation; Model-based testing; FSM-based testing; Formal Methods; Testing robotic systems; Search-based Software Engineering

Research interests: Digital health, remote mobility monitoring, AI for disease progression, co-design, inclusive design, human-computer interaction

Research interests: Human-robot collaboration, trustworthy autonomous systems manufacturing robotics, responsible innovation, co-design and co-research, digital twins and knowledge exchange.

Research interests: Multimodal AI, Materials Design, Drug Discovery, Open‑Source Software

Research interests: Multimodal AI: Foundation models, generative AI, domain adaptation, brain and cardiac imaging, and cancer diagnosis and treatment

Research interests: Facial modelling and animation, Augmented and virtual reality, 3D computer graphics

Research interests: Computational neuroscience; brain modelling; animal behaviour; robotics; navigation; autonomy

Research interests: Machine learning, test-time adaptation, meta-learning, neuromorphic computing, robotics and neural networks.

Research interests: Applied audio and visual analysis; Engagement and Misconduct pedagogy.

Research interests: Artificial intelligence, robotics, computational neuroscience, animal behaviour, evolutionary theory

Research interests: AIxSE, LLMs for Software Engineering, Software testing, Search-based software engineering, Test oracles, Test flakiness and Mutation analysis.

Research interests: Complexity theory, and specifically: circuit complexity, communication complexity, and derandomization

Research interests: Spoken language processing by mind and machine, vocal interactivity in-and-between humans, animals and machines

Research interests: Robust and trustworthy large language models, Reasoning and inference in NLP systems, Bias, fairness, and responsible AI, Reliable evaluation of language models

Research interests: Logic, Automata Theory, Verification Coalgebras and Bisimulation

Research interests: Computer Science Education, Agent-based modelling of human behaviour, Agent-based social simulation

Research interests: Extended finite state machines and the translation of formal languages.

Research interests: Computer Science Education, AI In Education and Cybersecurity Gamification

Research interests: AI for Health and Physiology, Dynamical Systems & Mathematical Modelling, Wearable Technologies & Time-Series Analysis, Uncertainty-Aware & Robust Machine Learning

Research interests: Security of AI, Offensive AI and AI Red Teaming, Security, Privacy, and Transparency of AI/ML Systems, Reinforcement Learning and Adversarial Machine Learning

Research interests: Reinforcement learning, Multi-agent systems, Human-in-the-loop machine learning

Research interests: Proof assistants, Information flow security, Inductive and coinductive datatypes, Automated deduction and Syntax with bindings

Research interests: Search Based Test Generation, Gamification in Software Engineering, Software Engineering Education, Extended Reality Software Testing and Causality Testing in Manufacturing

Research interests: Complexity theory, specifically analysis of Boolean functions, query and communication complexity, Social choice and voting theory and Learning theory

Research interests: Computational Social Science, Disinformation detection, analysis & verification, Multilingual & multimodal NLP, LLM safety, Network analysis, Corpora creation & data annotation

Research interests: Testing of Autonomous Systems, Simulation-based Testing of Autonomous Driving Systems, AI for Testing, Software System Log Analysis

Research interests: Probabilistic (Bayesian) Machine Learning, developing methods to track insects, Low-cost air pollution sensor calibration

Research interests: BioMedical Text Analysis and Information Extraction, Computational Media Analysis, Subjectivity Quantification and Opinion, Mining
Affective Computing & Human-Centric AI

Research interests: Natural Language Processing; Information Retrieval; Metascience; AI for healthcare, professional search and scholarly document analysis

Research interests: Computer Science Education and End User Development

Research interests: algebraic, topological & geometric methods in computing, semantics of programs & concurrent systems, higher categories, higher-dimensional rewriting & higher-dimensional automata

Research interests: Health data science, bedside and remote patient monitoring, wearable computing, cardiovascular monitoring, biomedical signal processing

Research interests: Computational complexity theory, circuit complexity, proof complexity and satisfiability algorithms.

Research interests: Natural Language Processing; Explanation-Based Learning & Reasoning, Neurosymbolic AI, Data efficient & Modular AI Architectures, Reasoning & Generalisation in LLMs.

Research interests: Bioinspired machine learning, neuromorphic and physical computing, computational neuroscience

Research interests: Visual data analytics, visual process mining, temporal event data, event logs, decision support, healthcare data analytics, computational imaging; visualization

Research interests: Natural Language Processing; Cognitively motivated NLP, Multilinguality, Multimodality, NLP for Healthcare, NLP for Arts and Humanities, Text Simplification and Question Answering

Research interests: Computational modelling in biology and medicine, Electrical Impedance Spectroscopy (EIS)

Research interests: The application of probabilistic and statistical analysis techniques to software testing, causal Inference for software testing, state Machine Inference to infer testable models

Research interests: Interactive Natural Language Processing, Conversational AI, Information Retrieval, Personalisation, AI for Mental Health

Research interests: Physics-Informed Neural Networks (PINNs), Geometric Deep Learning, Robustness and Regularisation, Adversarial Machine Learning, Neural Partial Differential Equations

Research interests: Mathematical and computational modelling of the cardiovascular system, Personalised cardiovascular healthcare, Digital twins for health, Parameter identification & state estimation

Research interests: Pervasive healthcare, Mobile Computing, Health Data Analytics, Smart Agriculture

Research interests: Natural Language Processing (NLP), AI for Education, Multilingual NLP, Inclusive AI, Human–AI Collaboration, Computational Creativity

Research interests: Natural Language Processing, Multimodal Large Language Models, Retrieval-Augmented Generation, Misinformation Detection, Information Retrieval, AI for Science and Healthcare

Research interests: Generalisation, interpretability, and automation in machine learning, biomedical data analysis, open-source software development

Research interests: Combinatorics, probability, model theory, algorithms and complexity

Research interests: Computer science applications in healthcare technologies, with a focus on the heart and cardiovascular system.

Research interests: Interactive theorem proving, Isabelle/HOL, first-order models