Trustworthiness, Ethics, Safety, Security, and Privacy

The supervisors with research interests in trustworthiness, ethics, safety, security and privacy are listed below.

Adriana Sejfia

Lecturer in Software Engineering

Research

software engineering, programme analysis and machine learning for security

Aggelos Kiayias

Professor and Chair of Cyber Security and Privacy

Research

computer security, information security, applied cryptography, foundations of cryptography, blockchain technologies, distributed systems, e-voting, secure multiparty protocols, privacy and identity management

Chris Heunen

Professor and Chair of Quantum Programming

Research

quantum theory, quantum machine learning, quantum programming and semantics

Craig Innes

Chancellor's Fellow

Research

safety, trustworthiness, and risk for cyber-physical systems

Daniel Woods

Lecturer in Cyber Security

Research

cyber security, cyber insurance, digital risk management, cyber risk quantification, incident response, how the legal system impacts cybersecurity, privacy preference signals, 0-Day exploit brokers and prices

David Aspinall

Professor and Personal Chair of Software Safety and Security

Research

software security, user authentication, theorem proving, programming and specification languages

Jacques Fleuriot

Professor and Personal Chair of Artificial Intelligence

Research

AI Modelling, interactive theorem proving, formal verification, process modelling, and AI/machine learning applied to health/care, medicine and other complex domains, Neurosymbolic AI

Jingjie Li

Lecturer in Systems Security

Research

user-centric security and privacy control, measuring human behavior and digital risks, efficient human-machine interface

Marc Juarez Miro

Lecturer in Cyber Security and Privacy

Research

cyber security and privacy, ML-based traffic analysis, security and privacy of ML, algorithmic bias

Markulf Kohlweiss

Senior Lecturer in Security and Privacy

Research

formal verification, foundations of cryptography and applied cryptography, privacy-enhancing protocols, blockchains, crypto-currencies, formal verification of protocol implementations

Michele Ciampi

Chancellor's Fellow

Research

theory of cryptography, zero-Knowledge proofs, multi-party computation protocols and Blockchain

Nadin Kokciyan

Lecturer in Artificial Intelligence

Research

Multiagent Systems, Agreement Technologies (Argumentation and Negotiation), Privacy in Social Software, AI Ethics, Explainable AI, Responsible AI

Ram Ramamoorthy

Professor and Personal Chair of Robot Learning and Autonomy

Research

robotics and machine learning. learning, adaptation and control mechanisms to enable autonomous robots to cope with the uncertain and the unknown, and for them to be effective in human-AI teams

Rik Sarkar

Reader

Research

ML and optimisation algorithms.
Privacy, fairness, and Explainability.
GenAI and artificial data. topological data analysis, topology in ML, Network Analysis and graph machine learning, AI for Biomedical Engineering (diagnostics, interpretability, molecule design)

Susan Lechelt

Lecturer in Design Informatics

Research

human-computer interaction, interaction design. Themes of data literacy, creativity, playfulness, sustainability, and responsible innovation 

Tariq Elahi

Lecturer in Security and the Internet of Things

Research

Privacy Enhancing Technologies (PETs), anonymous communication networks, data-driven privacy systems engineering