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: State-based software testing, model-based testing, model inference

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: AI in Healthcare, Multi-modal Learning, Trustworthy Machine Learning, Adversarial Machine learning
Data-efficient Learning, Generative Modelling & Data Synthesis

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

Research interests: Quantum Cryptography, Applied Cryptography, Hardware Security

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

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: 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: 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: 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: 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: Computer Science Education, Agent-based modelling of human behaviour, Agent-based social simulation

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

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

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

Research interests: Model-driven engineering, model-Based Testing, object-oriented methods

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

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

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

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

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: 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: 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